package encoding

  1. Overview
  2. No Docs
Smt encoding library

Install

Dune Dependency

github.com 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.1.tar.gz
md5=dc32bbd40f0bfad2c8052d45a26d13f3
sha512=7946f81a6226378b493af9db129445bbe4f51e2924ed490692e485af1f16f09444cfc635e3c04064d5f9b64e64605f121e73e3c8feafa6bb03f8bd39ed99e671

Description

An OCaml abstraction layer for constraint solvers.

Published: 21 Nov 2023

Dependencies (5)

  1. zarith >= "1.5"
  2. menhir
  3. z3 >= "4.11.2" & < "4.13"
  4. ocaml >= "5.1.0"
  5. dune >= "3.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. ppx_inline_test with-test

Used by

None

Conflicts

None