issues
search
mht208
/
homebrew-formal
Homebrew formulae for formal methods
36
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CPAChecker Install Fail
#38
Gy-Hu
opened
1 month ago
0
Kissat
#37
lou1306
closed
1 month ago
0
Cpphoafparser
#36
lou1306
closed
1 month ago
1
Update mathsat to 5.6.11
#35
lou1306
closed
2 months ago
0
Update nusmv to 2.6.0
#34
lou1306
closed
2 months ago
0
Fix zchaff formula
#33
lou1306
closed
2 months ago
0
Update mathsat to 5.6.11
#32
lou1306
closed
2 months ago
2
Update aiger
#31
lou1306
closed
3 months ago
0
Update mathsat to 5.6.10
#30
lou1306
closed
8 months ago
0
Add strix 21.0.0
#29
lou1306
closed
9 months ago
0
Update kissat to 3.0.0
#28
lou1306
closed
1 year ago
0
Compile error installing boolector ...
#27
davidboles
opened
1 year ago
0
Update mathsat to 5.6.9
#26
lou1306
closed
2 years ago
0
Update cvc5 to 1.0.1
#25
lou1306
closed
2 years ago
0
Update mathsat formula to 5.6.8
#24
lou1306
closed
2 years ago
0
Installing yices2 is supported via SRI-CSL tap
#23
wenkokke
opened
3 years ago
0
Add to path to allow ./configure to find cython
#22
anishathalye
closed
2 years ago
1
Deprecation of `ENV.j1` in favor of `ENV.deparallelize`
#21
wenkokke
opened
4 years ago
0
Error with z3 formula
#20
Zialus
closed
6 years ago
2
Cudd formula links are down
#19
Zialus
opened
6 years ago
1
Deprecated issues in the tap
#18
dgboy2000
opened
6 years ago
0
<lablgtk2> failed to build on macOS 10.13 (High Sierra)
#17
BenHocking
closed
6 years ago
1
Update cvc4 download path
#16
usr-sse2
opened
7 years ago
0
OCaml incompatibility with why3 install
#15
BenHocking
opened
8 years ago
0
SHA1 is deprecated now
#14
katrielalex
opened
8 years ago
0
Updated CBMC to the latest version. Moved the request over to Github…
#13
DanielNeville
closed
8 years ago
0
Update ltl3ba to 1.1.2
#12
lsvx
closed
8 years ago
0
Update Gappa to 1.1.2
#11
Maratyszcza
closed
9 years ago
0
z3
#10
junkil-park
opened
9 years ago
1
cvc4
#9
junkil-park
closed
9 years ago
2
verit
#8
junkil-park
closed
9 years ago
2
cvc3
#7
junkil-park
closed
9 years ago
2
why3ide depends on lablgtk2 with-gtksourceview2
#6
mbenke
closed
10 years ago
0
Updated why3 to 0.82
#5
mbenke
closed
10 years ago
0
Building why3 fails
#4
mbenke
closed
10 years ago
5
Building z3 fails on OS X 10.9
#3
ehamberg
opened
10 years ago
1
corrected url for the sources of ssreflect 1.4
#2
nrolland
closed
11 years ago
0
camlidl requires ocaml-pcre
#1
netj
opened
11 years ago
1