package coq-itauto
'itauto' is a reflexive SAT solver parameterised by a leaf tactic
Install
Dune Dependency
Authors
Maintainers
Sources
itauto-8.13.tar.gz
sha256=971ac9da9ff16ba83ad0236a5206ce0b8617e62c026340441fea0f4f80b79ded
Description
Tags
keyword:integers keyword:SAT keyword:SMT keyword:automation logpath:CdclPublished: 02 May 2021
Dependencies (3)
-
ocamlbuild
build -
coq
>= "8.13.~" & < "8.14~" -
ocaml
>= "4.9~"
Dev Dependencies
None
Used by (1)
-
coq-vlsm
>= "1.2"
Conflicts
None
On This Page