Skip to content

Issues: Paradoxika/Skeptik

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

38 Open 48 Closed
38 Open 48 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Implement Reset Method for Parsers
#112 opened May 21, 2016 by ceilican
1
Configure Travis CI
#111 opened May 21, 2016 by ceilican
Proof.apply is duplicating nodes bug
#101 opened Dec 25, 2014 by ceilican
1
Output format for "smt2" is wrong
#98 opened Nov 29, 2013 by ceilican
@ceilican
Remove exceptions from combinator parsers enhancement
#95 opened Oct 7, 2013 by ceilican
Apply local search to Split algorithms
#92 opened Sep 3, 2013 by AFellner
Implement partial Split
#91 opened Sep 2, 2013 by AFellner
Investigate space behaviour of proofs obtained from SAT solvers
#90 opened Sep 2, 2013 by AFellner
Implement efficient function for distance of nodes
#89 opened Sep 2, 2013 by AFellner
Implement edge-based MiddleLower feature
#87 opened Aug 24, 2013 by Jogo27 MiddleLower
@Jogo27
Implement Sinz algorithm feature
#86 opened Aug 24, 2013 by Jogo27 MiddleLower
@Jogo27
CLI: measure on which percentage of the proofs each algorithm performed better than the others feature
#83 opened Aug 7, 2013 by ceilican
@ceilican
Error when reading proof bug
#82 opened Aug 6, 2013 by AFellner
4
Problem in proof writing bug
#81 opened Aug 6, 2013 by AFellner
@ceilican
8
Implement AxiomSubsumption
#79 opened Aug 5, 2013 by ceilican
@AFellner
Make BottomUpSubsumption more efficient enhancement
#78 opened Aug 5, 2013 by ceilican
@AFellner
BottomUpSubsumption increases the proof length bug
#77 opened Aug 5, 2013 by ceilican
@AFellner
Share the fixNode function
#76 opened Aug 5, 2013 by Jogo27
3
Better strategy for applications of A2
#75 opened Aug 2, 2013 by ceilican Ideas for Future Work
1
Combination of LU and LUniv (and LUniv's traversal order dependence)
#58 opened Apr 25, 2013 by ceilican Ideas for Future Work
7
Generalization of LowerUnivalents
#57 opened Apr 25, 2013 by ceilican Ideas for Future Work
@Jogo27
6
Optimize algorithms by directly constructing a Proof enhancement
#51 opened Mar 7, 2013 by ceilican Ideas for Future Work
1
Use scala-chart to produce charts enhancement
#50 opened Feb 23, 2013 by ceilican
2
Comparison of two ways of checking resolution refutations
#48 opened Feb 18, 2013 by ceilican Ideas for Future Work
Compression by introduction of irregularities
#47 opened Feb 17, 2013 by ceilican Ideas for Future Work
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.