package encoding

  1. Overview
  2. Docs
Smt encoding library

Install

Dune Dependency

github.com Readme Changelog GPL-3.0-only License Edit opam file Versions (4)

Authors

  1. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Maintainers

  1. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.0.4.tar.gz
md5=79eace174880a378ca634f3b6d6dca2b
sha512=c244e75b833cd5eae204749e6049003fb0ede5f202cd18219de8d3a771fc40475b2cc865e9b49f7694696c67389e5b5fe7d5bee415f5e6439ee7ff960ff3c9e0

Description

An OCaml abstraction layer for constraint solvers.

Published: 05 Mar 2024

README

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

Dependencies (8)

  1. hc >= "0.3"
  2. zarith >= "1.5"
  3. cmdliner >= "1.2.0"
  4. menhir build & >= "20220210"
  5. z3 >= "4.12.2" & < "4.13"
  6. ocaml_intrinsics
  7. ocaml >= "4.14.0"
  8. dune >= "3.0"

Dev Dependencies (2)

  1. bisect_ppx with-test & >= "2.5.0" & dev
  2. odoc with-doc

Used by

None

Conflicts

None