package

ocaml5.2.0-ocaml-sat-solvers

Description

SAT Solvers For OCaml.

Metadata

Version

0.4

License

Status

Source

pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix:20

Homepage

https://github.com/tcsprojects/ocaml-sat-solvers

Maintainers (1)

Merlin Humml