package msat-bin

  1. Overview
  2. Docs
SAT solver binary based on the msat library

Install

github.com Readme 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

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"

Dev Dependencies

None

Used by

None

Conflicts

None