homebrew-formal

Homebrew formulae for formal methods 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

Name		Name	Last commit message	Last commit date
Latest commit History 45 Commits
README.md		README.md
alt-ergo.rb		alt-ergo.rb
boolector.rb		boolector.rb
buddy.rb		buddy.rb
camlidl.rb		camlidl.rb
cil.rb		cil.rb
coqide.rb		coqide.rb
cudd.rb		cudd.rb
cvc3.rb		cvc3.rb
e-prover.rb		e-prover.rb
gappa.rb		gappa.rb
lablgl.rb		lablgl.rb
lablgtk2.rb		lablgtk2.rb
lbtt.rb		lbtt.rb
ltl2ba.rb		ltl2ba.rb
ltl3ba.rb		ltl3ba.rb
mathsat.rb		mathsat.rb
minisat2.rb		minisat2.rb
mona.rb		mona.rb
nusmv.rb		nusmv.rb
ocaml-findlib.rb		ocaml-findlib.rb
ocamlgraph.rb		ocamlgraph.rb
picosat.rb		picosat.rb
precosat.rb		precosat.rb
proof-general.rb		proof-general.rb
pvs.rb		pvs.rb
spass.rb		spass.rb
spot.rb		spot.rb
ssreflect.rb		ssreflect.rb
tuareg.rb		tuareg.rb
verit.rb		verit.rb
why3.rb		why3.rb
yices.rb		yices.rb
z3.rb		z3.rb
zchaff.rb		zchaff.rb