smbc

AuthorSimon Cruanes
Homepagehttps://github.com/c-cube/smbc
Issue Trackerhttps://github.com/c-cube/smbc/issues
Tagslogic, narrowing, model and smt
Maintainersimon.cruanes.2007@m4x.org
Dependencies
&base-bytes
containers>= 1.0
jbuilder>= 1.0+beta6
msat>= 0.5&0.8
sequence>= 0.4
tip-parser>= 0.3
Availableocaml-version >= "4.03"
PublishedJan 21, 2018
Source [http] https://github.com/c-cube/smbc/archive/0.4.2.tar.gz
b966e738456a3b648a8e780dfcaf5f0c
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/smbc/smbc.0.4.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