github.com/coq/opam-coq-archive
Satisfiability of inequality constraints and detection of cycles with negative weight in graphs
opam install coq-graphs.8.10.0