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
menhir
msat>= 0.5&0.6
ocamlfind
sequence>= 0.4
tip-parser>= 0.3
Availableocaml-version >= "4.01"
PublishedJan 6, 2017
Source [http] https://github.com/c-cube/smbc/archive/0.2.tar.gz
2b97164ca0866491bd27676c723d2b45
StatisticsNot installed in the last month.
Edithttps://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