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