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 >= 1.0
menhir
msat >= 0.5& 0.7
ocamlfind
sequence >= 0.4
tip-parser >= 0.3
Available ocaml-version >= "4.01"
Published Feb 13, 2017
Source [http] http://github.com/c-cube/smbc/archive/0.3.1.tar.gz
fa60725a8580bd620add0179ab08719f
Statistics Installed 44 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.3.1/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