https://github.com/ngorogiannis/cyclist
Tip revision: cbfaa3249c0242379c8cb44a78600f450e140d59 authored by matan shaked on 03 April 2024, 14:16:04 UTC
make sledgehammer criteria dynamic and add graph scripts
make sledgehammer criteria dynamic and add graph scripts
Tip revision: cbfaa32
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)