warthog-logic warthog issues - Githubissues

warthog-logic / warthog

A Logic Framework in Scala

16 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

NAryOperator.compactify(Op: String, fs: Formula[L]*) is slow for big Formulas

#16 ghost opened 9 years ago
4
toString methods of NAryOperator and Not produce redundant brackets

#15 ghost opened 9 years ago
1
BasicFormulaFuzzing test sporadically fails

#14 ghost opened 9 years ago
1
Travis test fails

#13 kgrupp closed 9 years ago
4
Truth Table creation does not work correctly

#12 ghost closed 10 years ago
3
Create documentation & tutorials

#11 czengler opened 11 years ago
0
Check warnings generated by 2.10.0 compiler

#10 kuebler closed 10 years ago
1
Migrate to Scala 2.10.0

#9 kuebler closed 11 years ago
0
vars method of generic formula throws error when dealing with an And without arguments

#8 ghost closed 11 years ago
1
Bug in UTF8 Pretty Printer

#7 czengler opened 11 years ago
5
Changed Picosat class to object; Multiple call of init/reset method now ...

#6 ghost closed 9 years ago
9
Clauses are not integrated very well

#5 czengler opened 12 years ago
0
Extended interface of JPicosat and Picosat to extract unsat core clauses and more

#4 ghost closed 12 years ago
0
Special characters of a propositional logic formula not correctly displayed under Windows Console

#3 ghost closed 12 years ago
1
getModel of Picosat class throws UnsupportedOperationException when using formulas containing no variables

#2 ghost closed 12 years ago
1
Combinator Parsing too slow

#1 czengler closed 12 years ago
0