package minisat

  1. Overview
  2. Docs
Bindings to Minisat-C-1.14.1, with the solver included

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.tar.gz
sha256=e9787039c5dca28c8879d8a754ab67346c286b9a472cc0d0d618f20653d15a44
md5=792f4ba8fb4fe03948d006f2d33aaf04

Description

Tags

minisat solver SAT

Published: 23 Aug 2018

README

README.adoc

= Minisat

image:https://travis-ci.org/c-cube/ocaml-minisat.svg?branch=master["Build Status", link="https://travis-ci.org/c-cube/ocaml-minisat"]
image:https://ci.appveyor.com/api/projects/status/t0g07849v8j2lmwc?svg=true["Appveyor", link="https://ci.appveyor.com/project/c-cube/ocaml-minisat"]

Bindings to Minisat-C-1.14.1, with the solver included

== Docs

See https://c-cube.github.io/ocaml-minisat/

Dependencies (2)

  1. dune < "2.0"
  2. ocaml

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None

OCaml

Innovation. Community. Security.