homebrew-formal

Homebrew formulas for formal verification and some other related packages that are missing in the official Homebrew repository

Installation

Install Homebrew and then execute the following command:

$ brew tap mht208/formal

To install OCaml related software such as Coq, mathcomp, alt-ergo, we recommend OPAM.

Name		Name	Last commit message	Last commit date
Latest commit History 254 Commits
README.md		README.md
abc.rb		abc.rb
aiger.rb		aiger.rb
automaton.rb		automaton.rb
boolector.rb		boolector.rb
buddy.rb		buddy.rb
cpachecker.rb		cpachecker.rb
csdp.rb		csdp.rb
cudd.rb		cudd.rb
cvc3.rb		cvc3.rb
cvc4.rb		cvc4.rb
cvc5.rb		cvc5.rb
drat-trim.rb		drat-trim.rb
gappa.rb		gappa.rb
glucose.rb		glucose.rb
grat.rb		grat.rb
kissat.rb		kissat.rb
lbtt.rb		lbtt.rb
lean.rb		lean.rb
leon.rb		leon.rb
libalf.rb		libalf.rb
libamore.rb		libamore.rb
liblangen.rb		liblangen.rb
libmvca.rb		libmvca.rb
lingeling-druplig.rb		lingeling-druplig.rb
lingeling.rb		lingeling.rb
ltl2ba.rb		ltl2ba.rb
ltl3ba.rb		ltl3ba.rb
m4ri.rb		m4ri.rb
maplesat.rb		maplesat.rb
mathsat.rb		mathsat.rb
minisat2.rb		minisat2.rb
mona.rb		mona.rb
nusmv.rb		nusmv.rb
picosat.rb		picosat.rb
precosat.rb		precosat.rb
princess.rb		princess.rb
prism.rb		prism.rb
pvs.rb		pvs.rb
smtinterpol.rb		smtinterpol.rb
spass.rb		spass.rb
stp.rb		stp.rb
strix.rb		strix.rb
vampire.rb		vampire.rb
verit.rb		verit.rb
yalsat.rb		yalsat.rb
zchaff.rb		zchaff.rb