package smbc

  1. Overview
  2. Docs
Sat Modulo Bounded Checking

Install

Dune Dependency

Authors

Maintainers

Sources

0.3.tar.gz
sha256=90064ae382fd4c0ef50dde92e1925653f3a1b63167279d4bf1880b91d2e42343
md5=8ec10b9dd584c9ba952c1802cbb5f359

Description

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.

Tags

logic narrowing model smt

Published: 30 Jan 2017

Dependencies (8)

  1. menhir
  2. tip-parser >= "0.3" & < "0.4"
  3. msat >= "0.5" & < "0.7"
  4. sequence >= "0.4"
  5. containers > "0.16" & < "1.0"
  6. base-bytes
  7. ocamlfind build
  8. ocaml >= "4.01"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.