Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
ocamlPackages
ocaml-sat-solvers
package
ocaml5.1.1-ocaml-sat-solvers
Description
SAT Solvers For OCaml.
Metadata
Install
Version
0.4
License
BSD-3-Clause
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix:20
Homepage
https://github.com/tcsprojects/ocaml-sat-solvers
Maintainers
1
(1)
Merlin Humml
