package alt-ergo-lib
The Alt-Ergo SMT prover library
Install
Dune Dependency
alt-ergo.ocamlpro.com
Readme
Changelog
LicenseRef-OCamlpro-Non-Commercial; Apache-2.0 License
Edit opam file
Versions (15)
Authors
Maintainers
Sources
alt-ergo-2.5.2.tbz
sha256=f460c17011f8f6c85e3b9023983b339cc11bc34252ae748e708211378d3f6895
sha512=cc4707f22596838dd242dc2e42b5d744dd0c44f5283c0a36074761d5b8c91e6f46fed2aebb5f6a96d50f94e5da2b74cd18447574668db255a19a6fb0cda9bbb7
doc/alt-ergo-lib/AltErgoLib/Cnf/index.html
Module AltErgoLib.Cnf
val make :
Commands.sat_tdecl list ->
(int Typed.tdecl, 'a) Typed.annoted ->
Commands.sat_tdecl listval make_list :
(int Typed.tdecl, 'a) Typed.annoted list ->
Commands.sat_tdecl list