package msat
Library containing a SAT solver that can be parametrized by a theory
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.9.tar.gz
md5=8ee967a889188d8d937e3c1ca2c50deb
sha512=5185e02f2f41a3672afaf64b47ddf6efd787811a73f0286a670a64783a86a9c422c4a874c48884622961354105283b60223562025f1fa21edba67f0eb8cb172b
doc/msat.sat/Msat_sat/Value/index.html
Module Msat_sat.ValueSource
The type of semantic values (domain elements)
Printing function used among other for debugging.