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-3-Clause"
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" } "dune" { >= "1.1" }]
20build: ["dune" "build" "-p" name "-j" jobs]
21url {
22 src: "https://github.com/ramsdell/chase/archive/1.5.tar.gz"
23 checksum: [
24 "sha256=61d6a0e67790fe8200e552df1cda2004a8eeb7073d59a4640a657e995ededf72"
25 "md5=d96e17e1c932392d012e3ea1cbdf1285"
26 ]
27}