Description

Tags

sat

Published: 29 Feb 2020

Dependencies (5)

  1. camlzip
  2. containers >= "2.0"
  3. msat = version
  4. dune >= "1.1"
  5. ocaml >= "4.03"

Reverse Dependencies

    None

Conflicts

    None
SAT solver binary based on the msat library

Install

Documentation github.com Readme Changelog Apache License 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