nick8325 equinox issues - Githubissues

nick8325 / equinox

Paradox model finder and equinox theorem prover for first-order logic.

MIT License

19 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix build failure with `mtl 2.3`

#17 andreasabel opened 1 year ago
0
Error build `FolSat.hs`

#16 Average-user closed 4 years ago
1
Paradox and equinox not on system on TPTP?

#15 danr opened 7 years ago
0
Failed assertions in Paradox

#14 nick8325 opened 7 years ago
0
Regression

#13 asr opened 7 years ago
1
Equinox generates <<loops>> when using any command-line option

#12 asr closed 7 years ago
2
cannot build minisat on Mac OS X 10.10 and g++

#11 jessealama opened 9 years ago
0
Create the executable targets under the same name as the target.

#10 jessealama closed 11 years ago
1
error building minisat with clang

#9 jessealama opened 11 years ago
5
unable to build with ghc 7.4.2 on mac os x 10.8

#8 jessealama closed 11 years ago
1
paradox segfaults on Mac OS X 10.7

#7 jessealama closed 7 years ago
2
paradox feature request: specify minimum and maximum domain cardinality

#6 jessealama opened 11 years ago
1
Unable to build smellysox

#5 jessealama closed 11 years ago
1
Infinox does not build

#4 jessealama closed 11 years ago
2
Force push!!!

#3 danr closed 12 years ago
0
Make a .cabal file for equinox and paradox

#2 danr closed 12 years ago
0
Make equinox and paradox compile with GHC 7.4.1

#1 danr closed 12 years ago
2