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.2.tar.gz
md5=c02d63bf45357aa1d1b85846da373f48
sha512=e6f0d7f6e4fe69938ec2cc3233b0cb72dd577bfb4cc4824afe8247f5db0b6ffea2d38d73a65e7ede500d21ff8db27ed12f2c4f3245df4451d02864260ae2ddaf

Description

Tags

sat smt cdcl functor

Published: 29 Feb 2020

Dependencies (3)

  1. iter >= "1.2"
  2. dune >= "1.1"
  3. ocaml >= "4.03"

Dev Dependencies (2)

  1. mdx with-test & < "2.0"
  2. containers with-test & < "3.0"

Conflicts

None