smbc

AuthorSimon Cruanes
Homepagehttps://github.com/c-cube/smbc
Issue Trackerhttps://github.com/c-cube/smbc/issues
Tagslogic, narrowing, model and smt
Maintainersimon.cruanes@inria.fr
Dependencies
&base-bytes
containers0.16&1.0
menhir
msat>= 0.5&0.7
ocamlfind
sequence>= 0.4
tip-parser>= 0.3
Availableocaml-version >= "4.01"
PublishedJan 27, 2017
Source [http] https://github.com/c-cube/smbc/archive/0.3.tar.gz
8ec10b9dd584c9ba952c1802cbb5f359
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.3/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