package coq-graphs
Satisfiability of inequality constraints and detection of cycles with negative weight in graphs
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=410f0dd9a76ab3cb5e968db927906d0d
Description
Tags
keyword: graphs keyword: graph theory keyword: cycle detection keyword: paths keyword: constraints keyword: inequalities keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/CombinatoricsPublished: 07 Dec 2019
Dependencies (4)
-
coq-int-map
>= "8.10" & < "8.11~" -
coq
>= "8.10" & < "8.11~" - camlp5
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page