this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Model finder for geometric theories using the chase"
3description: """
4Chase is a model finder for first order logic with equality. It finds
5minimal models of a theory expressed in geometric form, where
6functions in models may be partial. A formula is in geometric form if
7it is a sentence consisting of a single implication, the antecedent is
8a conjunction of atomic formulas, and the consequent is a disjunction.
9Each disjunct is a possibly existentially quantified conjunction of
10atomic formulas. A function is partial if it is defined only on a
11proper subset of its domain.
12"""
13maintainer: "John D. Ramsdell <ramsdell@mitre.org>"
14authors: "John D. Ramsdell <ramsdell@mitre.org>"
15license: "BSD"
16homepage: "https://github.com/ramsdell/chase"
17dev-repo: "git+https://github.com/ramsdell/chase.git"
18bug-reports: "https://github.com/ramsdell/chase/issues"
19depends: ["ocaml" { >= "4.05" } "getopt" "dune" { >= "1.1" }]
20build: ["dune" "build" "-p" name "-j" jobs]
21url {
22 src: "https://github.com/ramsdell/chase/archive/1.4.tar.gz"
23 checksum: [
24 "sha256=e8d8840b9ede0a8b97735777647aa9f52304579db33a001215f1b661926e7969"
25 "md5=937e96273bb2bea1be60a3e7d2672fd9"
26 ]
27}