package logtk

  1. Overview
  2. Docs
Logic Toolkit

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes@inria.fr

Sources

0.8.1.tar.gz
md5=4d20e91b06d20a256d5939ac0c0fec68

Description

Maintenance release, updated to be compatible with more recent version of the libraries.

Tags

logic unification term

Published: 13 Jan 2017

Dependencies (7)

  1. base-bytes
  2. sequence >= "0.6" & < "1.0"
  3. containers >= "0.22.1" & < "1.0"
  4. zarith
  5. base-unix
  6. ocamlfind build
  7. ocaml >= "4.01.0" & < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts (2)

  1. menhir >= "20211215"
  2. msat < "0.5"