Skip to content

Repository files navigation

Reproducing the OCaml/OxCaml environment

This project is built with OxCaml, using the following opam repositories:

Create a local switch:

opam switch create . --repos ox=git+https://github.com/oxcaml/opam-repository.git,default=https://opam.ocaml.org ocaml-variants.5.2.0+ox && eval "$(opam env)" && opam install . -y --locked --deps-only && dune build

About

oxcaml sat solver and accompanying data structures

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages