package msat

  1. Overview
  2. No Docs
Library containing a SAT solver that can be parametrized by a theory

Install

github.com Edit opam file

Authors

  1. S
    Simon Cruanes
  2. G
    Guillaume Bury

Maintainers

  1. G
    guillaume.bury@gmail.com
  2. S
    simon.cruanes.2007@m4x.org

Sources

v0.8.tar.gz
md5=fe2f507bff99166ad2004786ca1ae59b
sha512=4cd653218e1767152c1d66700ccfc421d6d2da6ddffc8af4ee9151a3b5d25920f9d735a416f962227ffe458bb56e1f1977d180dd91415d37af9e1ea41dbb1045

Description

Tags

sat smt

Published: 10 Mar 2019

Dependencies (3)

  1. iter >= "1.2"
  2. dune
  3. ocaml >= "4.03" & < "5.0.0"

Dev Dependencies (5)

  1. mdx with-test
  2. conf-time with-test
  3. menhir with-test
  4. sequence with-test & >= "1.1"
  5. containers with-test & >= "2.0" & < "3.0"

Conflicts

None