The OCaml Constraint Abstraction Layer (OCAL) serves as an abstracted constraint-solving wrapper, currently utilising Z3 as its backend solver. However, future plans for OCAL include support for other solvers in its backend, such as Yices and CVC5.
- Install opam.
- Bootstrap the OCaml compiler:
opam init
opam switch create 4.14.0 4.14.0
- Then, install the library dependencies:
git clone https://github.com/wasp-platform/encoding.git
cd encoding
opam install . --deps-only
- Build and test:
make
make test
- Install
encoding
on your path by running:
make install
- To incorporate encoding into your project, you can either build and install the project sources or add encoding as a submodule to your project:
git submodule add https://github.com/wasp-platform/encoding