Search results

Implement Reset Method for Parsers

Status: Open.

#112 In Paradoxika/Skeptik;

· ceilican opened on May 21, 2016

Configure Travis CI

Status: Open.

#111 In Paradoxika/Skeptik;

· ceilican opened on May 21, 2016

Proof.apply is duplicating nodes

bug

Status: Open.

#101 In Paradoxika/Skeptik;

· ceilican opened on Dec 25, 2014

Output format for "smt2" is wrong

Status: Open.

#98 In Paradoxika/Skeptik;

· ceilican opened on Nov 29, 2013

Remove exceptions from combinator parsers

enhancement

Status: Open.

#95 In Paradoxika/Skeptik;

· ceilican opened on Oct 7, 2013

Apply local search to Split algorithms

Status: Open.

#92 In Paradoxika/Skeptik;

· AFellner opened on Sep 3, 2013

Implement partial Split

Status: Open.

#91 In Paradoxika/Skeptik;

· AFellner opened on Sep 2, 2013

Investigate space behaviour of proofs obtained from SAT solvers

Status: Open.

#90 In Paradoxika/Skeptik;

· AFellner opened on Sep 2, 2013

Implement efficient function for distance of nodes

Status: Open.

#89 In Paradoxika/Skeptik;

· AFellner opened on Sep 2, 2013

Implement edge-based MiddleLower

feature

Status: Open.

#87 In Paradoxika/Skeptik;

· Jogo27 opened on Aug 24, 2013

· 

MiddleLower

Implement Sinz algorithm

feature

Status: Open.

#86 In Paradoxika/Skeptik;

· Jogo27 opened on Aug 24, 2013

· 

MiddleLower

CLI: measure on which percentage of the proofs each algorithm performed better than the others

feature

Status: Open.

#83 In Paradoxika/Skeptik;

· ceilican opened on Aug 7, 2013