package coq-ergo
Ergo: a Coq plugin for reification of term with arbitrary signature
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=5995e362eac7d51d1d6339ab417d518e
Description
This library provides a tactic that performs SMT solving (SAT + congruence closure + arithmetic).
Tags
keyword: reflexive decision procedure keyword: satisfiability modulo theories category: Computer Science/Decision Procedures and Certified Algorithms/Decision proceduresPublished: 20 Nov 2018
Dependencies (5)
-
coq-containers
>= "8.6" & < "8.7~" -
coq-nfix
>= "8.6" & < "8.7~" -
coq-counting
>= "8.6" & < "8.7~" -
coq
>= "8.6" & < "8.7~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page