package zipperposition-tools

  1. Overview
  2. Docs
Support tools for Zipperposition

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

Authors

  1. S
    Simon Cruanes
  2. P
    Petar Vukmirovic
  3. A
    Alexander Bentkamp
  4. S
    Sophie Tourret
  5. V
    Visa Nummelin

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

2.0.tar.gz
md5=7a8e57388083ed763d12d18324c8a086
sha512=5c5ac312ada6b42907d1e91e349454a8375f7bf8165d3459721a40b707a840a3d6b3dc968a66f1040cb4de7aedf5c1c13f3e90b51337eae5ea6de41651d7bd63

Description

Published: 11 Dec 2020

Dependencies (9)

  1. ocaml >= "4.07"
  2. libzipperposition = version
  3. logtk = version
  4. zarith
  5. msat >= "0.8" & < "0.9"
  6. oseq >= "0.2"
  7. iter >= "1.2"
  8. containers >= "3.0" & < "4.0"
  9. dune >= "1.11"

Dev Dependencies

None

Used by

None

Conflicts

None