Opam Package chase.1.4

Package info

opam-namechase
opam-version1.4
synopsisModel finder for geometric theories using the chase
description Chase is a model finder for first order logic with equality. It finds minimal models of a theory expressed in geometric form, where functions in models may be partial. A formula is in geometric form if it is a sentence consisting of a single implication, the antecedent is a conjunction of atomic formulas, and the consequent is a disjunction. Each disjunct is a possibly existentially quantified conjunction of atomic formulas. A function is partial if it is defined only on a proper subset of its domain.
authors
  • John D. Ramsdell <ramsdell@mitre.org>
homepagehttps://github.com/ramsdell/chase
licenseBSD
readme-fileREADME.md
deps (3)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

chase

Package files

share/chase/chase.mk
share/chase
lib/chase/opam
lib/chase/dune-package
lib/chase/META
lib/chase
doc/chase/chase.xhtml
doc/chase/README.md
doc/chase/LICENSE
doc/chase
bin/runchase
bin/chasetree
bin/chaseformsused
bin/chase