package logtk

  1. Overview
  2. Docs
Logic Toolkit

Install

Dune Dependency

Authors

Maintainers

Sources

0.8.1.tar.gz
sha256=86b4ab9991422cccae272c3b71088f74e78022c8dfb44ef2dcabb83412c32bf8
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"
OCaml

Innovation. Community. Security.