https://github.com/ngorogiannis/cyclist
Tip revision: a671a1a407df8229d06e459d6fa587c79b82d8a0 authored by Estibaliz Fraca on 15 March 2023, 18:00:44 UTC
Spot API changes. Based on commit ce25eca changes
Spot API changes. Based on commit ce25eca changes
Tip revision: a671a1a
dune-project
(lang dune 2.2)
(name cyclist)
(authors
"Nikos Gorogiannis <nikos.gorogiannis+www@gmail.com>"
"Reuben Rowe <reuben.rowe@rhul.ac.uk>"
"Gadi Tellez Espinosa")
(maintainers
"Nikos Gorogiannis <nikos.gorogiannis+www@gmail.com>"
"Reuben Rowe <reuben.rowe@rhul.ac.uk>")
(source (github ngorogiannis/cyclist))
(homepage http://www.cyclist-prover.org/)
(package
(name cyclist)
(synopsis "Cyclist is a framework for building cyclic theorem provers")
(depends
(ocaml (>= 4.08.0))
(stdlib-shims :build)
(dune-configurator :build)
(mparser-re (>= 1.3))
(hashcons (>= 1.0.1))
(hashset (>= 1.0.0))
(ocamlgraph (>= 1.8.7))))
(formatting disabled)
(generate_opam_files true)