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.14.0.tar.gz
md5=051ea3ffa85a515bbe8b12f42acb7cb1
sha512=f68f850d550cf67646f92786997f7f593f38586d67b7883fc80f373eee53b6ba6d010d26014d39718853553312ad4f2f1d1cc06126803dd059c539d68a3013c0
Description
Tags
keyword:integers keyword:SAT keyword:SMT keyword:Nelson-Oppen keyword:automation logpath:CdclPublished: 05 Nov 2021
Dependencies (3)
-
ocamlbuild
build -
coq
>= "8.14" & < "8.15~" -
ocaml
>= "4.9~"
Dev Dependencies
None
Used by (1)
-
coq-vlsm
>= "1.2"
Conflicts
None
On This Page