issues
search
mAarnos
/
Serkr
An automated theorem prover for first order logic.
GNU General Public License v3.0
28
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added perfect discrimination trees
#21
mAarnos
closed
7 years ago
1
Clause selection improvements
#20
mAarnos
closed
8 years ago
1
Too much nesting in a problem crashes the parser
#19
mAarnos
opened
8 years ago
0
Too many quantifiers cause a crash
#18
mAarnos
opened
8 years ago
0
Implemented formula renaming
#17
mAarnos
closed
8 years ago
2
Improved statistics reporting
#16
mAarnos
closed
8 years ago
1
Code cleanup
#15
mAarnos
closed
8 years ago
1
Removed the internal parser
#14
mAarnos
closed
8 years ago
0
Formatted Serkr with rustfmt
#13
mAarnos
closed
8 years ago
0
Distinct objects are not handled properly
#12
mAarnos
opened
8 years ago
0
Improve unit test coverage
#11
mAarnos
opened
8 years ago
3
Extremely large terms hang the prover.
#10
mAarnos
closed
7 years ago
0
The CNF transformator is slow
#9
mAarnos
closed
8 years ago
2
Add a command-line parameter for maximum amount of memory to use
#8
mAarnos
opened
8 years ago
0
Large TPTP input files cause stack overflow
#7
mAarnos
closed
8 years ago
2
Figure out a way to rustfmt Serkr
#6
mAarnos
closed
8 years ago
5
Add a finite model finder
#5
mAarnos
opened
8 years ago
1
Improve clause-clause subsumption efficiency
#4
mAarnos
opened
8 years ago
0
Improve CNF transformation
#3
mAarnos
opened
8 years ago
0
Add an efficient version of LPO
#2
mAarnos
opened
8 years ago
0
Add an efficient version of KBO
#1
mAarnos
opened
8 years ago
0