Search results

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

Status: Open.

#16 In warthog-logic/warthog;

· ghost opened on Jan 22, 2015

toString methods of NAryOperator and Not produce redundant brackets

Status: Open.

#15 In warthog-logic/warthog;

· ghost opened on Jan 22, 2015

BasicFormulaFuzzing test sporadically fails

Status: Open.

#14 In warthog-logic/warthog;

· ghost opened on Dec 5, 2014

Create documentation & tutorials

Status: Open.

#11 In warthog-logic/warthog;

· czengler opened on Jan 18, 2013

Bug in UTF8 Pretty Printer

Status: Open.

#7 In warthog-logic/warthog;

· czengler opened on Nov 20, 2012

Clauses are not integrated very well

Status: Open.

#5 In warthog-logic/warthog;

· czengler opened on Jun 14, 2012