Repository navigation

homebrew-formal

Public

About

Homebrew formulae for formal methods

37 stars

6 watching

Report repository

Name		Name	Last commit message	Last commit date
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

Repository files navigation

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

Note

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

About

Homebrew formulae for formal methods

37 stars

6 watching

Report repository

Releases

Packages

Contributors

Languages