batsatversion

OCaml bindings for batsat, a SAT solver in rust

Tags minisat solver SAT
Authorsimon.cruanes.2007@m4x.org
LicenseMIT
Published
Homepagehttps://github.com/c-cube/batsat-ocaml/
Issue Trackerhttps://github.com/c-cube/batsat-ocaml/issues
Maintainersimon.cruanes.2007@m4x.org
Availablearch != "arm32"
Dependencies
Conflicts
Source [http] https://github.com/c-cube/batsat-ocaml/archive/v0.7.tar.gz
md5=46ea02d95f95e48980394848d09a411f
sha512=b355a36dc2440247de3c4375c168d5bfb113d725c23b78831e3064e2ede1770177ac60b936e180610e19419fdceb850409c159155f681a4e58ac13da1c532268
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/batsat/batsat.0.7/opam
No package is dependent