package coq-itauto
'itauto' is a reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support
Install
Dune Dependency
Authors
Maintainers
Sources
itauto-8.13+no.tar.gz
md5=2d7d832b1c36a3726ea8e0995f50f156
sha512=14574dcb3b98870b5ae37de93800493fc21c6ae1d44517bdcbbf4a5fda839f78968454e2ebdba19225b7db16ada0bdbaccf50c3ba8c890bbd94250c5e48c3719
Description
Tags
keyword:integers keyword:SAT keyword:SMT keyword:Nelson-Oppen keyword:automation logpath:CdclPublished: 05 Nov 2021
Dependencies (3)
-
ocamlbuild
build -
coq
>= "8.13" & < "8.14" -
ocaml
>= "4.9~" & < "4.13~"
Dev Dependencies
None
Used by (1)
-
coq-vlsm
>= "1.2"
Conflicts
None
On This Page