package smbc

You can search for identifiers within the package.

in-package search v0.2.0

Experimental model finder/SMT solver for functional programming

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

S

Simon Cruanes

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

md5=b772e657748ca96f50db2fdc6216441d

sha512=d52f6e7174d2e37ce30606392b0f0fc73c201571c2a9ee5c397b62d197422116d550e7f458dc2ca1f14a6fc7b92574af73dd91f93851d8068f6235f248c9a8f0

doc/index.html

smbc