package smbc

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

Install

Dune Dependency

github.com Edit opam file Versions (9)

Authors

  1. S
    Simon Cruanes

Maintainers

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

Sources

0.5.tar.gz
md5=9e8368808f18c9d0ed7fd07497758220
sha512=513c863ddc4d794f88dafddce14b6c9a7b289899a3aeb1642fc909838239051f1dcc466d911fb86762489bb2b0934404c0fe3e7c21aa0253fc29b90ff4863844

Description

Tags

logic narrowing model smt

Published: 24 Oct 2018

Dependencies (7)

  1. ocaml >= "4.03"
  2. tip-parser >= "0.5" & < "0.6"
  3. msat >= "0.5" & < "0.8"
  4. sequence >= "0.4"
  5. containers >= "1.0" & < "2.7"
  6. base-bytes
  7. dune

Dev Dependencies

None

Used by

None

Conflicts

None