package smbc

  1. Overview
  2. No Docs
Experimental model finder/SMT solver for functional programming

Install

github.com Edit opam file

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.6.1.tar.gz
md5=b772e657748ca96f50db2fdc6216441d
sha512=d52f6e7174d2e37ce30606392b0f0fc73c201571c2a9ee5c397b62d197422116d550e7f458dc2ca1f14a6fc7b92574af73dd91f93851d8068f6235f248c9a8f0

Description

Tags

logic narrowing model smt

Published: 14 Nov 2019

Dependencies (7)

  1. ocaml >= "4.03"
  2. tip-parser >= "0.6" & < "0.7"
  3. msat >= "0.8" & < "0.9"
  4. iter >= "1.0"
  5. containers >= "2.0" & < "3.0"
  6. base-bytes
  7. dune >= "1.0"

Dev Dependencies

None

Used by

None

Conflicts

None