×

Netsoft

swMATH ID: 5173
Software Authors: Andrew Goldberg
Description: Andrew Goldberg’s Network Optimization Library in C
Homepage: http://www.avglab.com/andrew/soft.html
Programming Languages: C
Keywords: optimization; The Constrained NLO Problem
Related Software: DIMACS; WhyML; Prpu_Maxflow; Gabow SCC; Archive Formal Proofs; Amortized Complexity; Flow Networks; Refinement Monadic; Dijkstra Shortest Path; Separation Logic; Edmonds-Karp; GitHub; MLton; HOL; Isar; Why3; Isabelle/HOL; Isabelle; Coq; ConicBundle
Cited in: 9 Publications

Citations by Year