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.15.0.tar.gz
md5=b769527962a8b4d3742d4689d2a91784
sha512=cab061ff940b13c142d13f9f734bff6ff6aa43a83d4fe96e4a840740cbc5f03ee09de2cc4a43ddf0ca0c82cb3f835b7648103a9a921a42f011d18932c8c0a58d
Description
Tags
keyword:integers keyword:SAT keyword:SMT keyword:Nelson-Oppen keyword:automation date:2022-01-31 logpath:CdclPublished: 31 Jan 2022
Dependencies (3)
-
ocamlbuild
build -
coq
>= "8.15" & < "8.16~" -
ocaml
>= "4.9~"
Dev Dependencies
None
Used by (1)
-
coq-vlsm
>= "1.2"
Conflicts
None
On This Page