package encoding

  1. Overview
  2. Docs
Smt encoding library

Install

Dune Dependency

Authors

Maintainers

Sources

v0.0.3.tar.gz
md5=dc6d0f89b7b3c38c78c2844a54c6386b
sha512=03b70558322ef654bc1a3ea3ff1c029b8aecd7ed35d98ad4b4089c00905ee6eade180d5a4f4470078217ae60830591528ff2ccdc861083c840a0c52606cb0220

README.md.html

OCaml Constraint Abstraction Layer

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.

Installation

OPAM

  • Install opam.

  • Bootstrap the OCaml compiler:

opam init
opam switch create 5.1.0 5.1.0
  • And, then install encoding:

opam install encoding

Build from source

  • Install the library dependencies:

git clone https://github.com/wasp-platform/encoding.git
cd encoding
opam install . --deps-only
  • Build and test:

dune build
dune runtest
  • Install encoding on your path by running:

dune install
OCaml

Innovation. Community. Security.