package batsat

  1. Overview
  2. Docs
OCaml bindings for batsat, a SAT solver in rust

Install

Dune Dependency

github.com Readme Edit opam file Versions (4)

Authors

  1. S
    simon.cruanes.2007@m4x.org

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.6.tar.gz
md5=4f0c3d560103914306496f51edf263a2
sha512=a184d4649b5a8a72495413a483c7bd8509da42f11b099f22ebc76da58f523e7bb4903679a5a0c3686633d9fe57a6801d923e88c68de6e4f316ab2cb2626a9cc6

Description

Tags

minisat solver SAT

Published: 21 May 2021

README

BatSat-OCaml

OCaml bindings to batsat.

License

MIT licensed.

Dependencies (3)

  1. conf-rust-2018 build
  2. dune >= "1.3.0"
  3. ocaml >= "4.06.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts (1)

  1. base-domains