this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Model finder for geometric theories using the chase"
3description: """
4The chase program is a model finder for first order logic with
5equality. It finds minimal models of a theory expressed in geometric
6form, where functions in models may be partial. A formula is in
7geometric form if it is a sentence consisting of a single implication,
8the antecedent is a conjunction of atomic formulas, and the consequent
9is a disjunction. Each disjunct is a possibly existentially
10quantified conjunction of atomic formulas. A function is partial if
11it is defined only on a proper 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.2.tar.gz"
23 checksum: [
24 "sha256=4b2da98d6f9036e569a31d06f5977f4e396d634614e9ffc34c6c14d7c94d2ce3"
25 "md5=157a6b2be81bdb0afc4cde76b6f0e88a"
26 ]
27}