smbc

Author Simon Cruanes
Homepage https://github.com/c-cube/smbc
Issue Tracker https://github.com/c-cube/smbc/issues
Tags { logic, narrowing, model, smt }
Maintainer simon.cruanes@inria.fr
Dependencies
& base-bytes
containers 0.16
menhir
msat >= 0.5& 0.6
ocamlfind
sequence >= 0.4
tip-parser >= 0.3
Available ocaml-version >= "4.01"
Published Jan 6, 2017
Source [http] http://github.com/c-cube/smbc/archive/0.2.tar.gz
2b97164ca0866491bd27676c723d2b45
Statistics Installed 13 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.2/opam

Sat Modulo Bounded Checking

A model finder for a purely functional language with unknowns, similar to functional logic programming. It relies on a SAT solver (msat) to prune the search space efficiently.

No package is dependent