issues
search
StephanGocht
/
VeriPB
Verifier for pseudo-Boolean proofs
MIT License
12
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Test fuzzing via parser generator.
#36
StephanGocht
opened
2 years ago
0
Add examples for different rules in documentation.
#35
StephanGocht
opened
2 years ago
0
Inconsistent behaviour of deletion
#34
bartbog
closed
2 years ago
1
Color code rules in trace.
#33
StephanGocht
opened
2 years ago
0
Non standard code.
#32
StephanGocht
opened
2 years ago
0
Partial formula loading and solution logging.
#31
StephanGocht
closed
2 years ago
1
Return code 127 when running low or out of memory.
#30
StephanGocht
closed
2 years ago
1
Performance improvements for occurrence list.
#29
StephanGocht
closed
2 years ago
1
Multiple objectives
#28
freemin7
opened
3 years ago
2
Add include statement.
#27
StephanGocht
opened
3 years ago
0
Allow negative IDs for relative reference.
#26
StephanGocht
closed
3 years ago
1
__int128 support
#25
JoD
closed
2 years ago
3
Improve / Fix Hints
#24
StephanGocht
opened
4 years ago
0
Sorting prints from C++
#23
JoD
closed
2 years ago
1
64bprecision
#22
JoD
closed
4 years ago
0
Printing sorted constraints
#21
JoD
closed
2 years ago
1
rough time estimate to completion
#20
JoD
closed
4 years ago
0
added progress bar
#19
JoD
closed
4 years ago
0
Bug: variables with coefficient 0 after saturation not ignored
#18
JoD
closed
4 years ago
0
Feature request: preprocessing
#17
JoD
opened
4 years ago
0
Feature request: progress measure
#16
JoD
closed
4 years ago
1
Degree becomes negative after multiplication and addition.
#15
JoD
closed
4 years ago
2
Internal error when using wrong formula file
#14
JoD
opened
4 years ago
0
Improve Documentation
#13
StephanGocht
opened
4 years ago
0
Cleaning up Proof Format
#12
StephanGocht
opened
4 years ago
0
Best Practice Section
#11
StephanGocht
opened
4 years ago
0
Improving implication check
#10
StephanGocht
opened
4 years ago
1
Inconsistency between solution and delete
#9
StephanGocht
opened
4 years ago
2
Dummy Constraint
#8
StephanGocht
closed
2 years ago
2
Deletion semantic
#7
StephanGocht
closed
2 years ago
1
Resolve maybe, update documentation
#6
StephanGocht
closed
4 years ago
0
Support Equalities
#5
StephanGocht
opened
4 years ago
0
Proof lines do not correspond to lines in proof log
#4
StephanGocht
closed
4 years ago
1
Interleaved trace output
#3
StephanGocht
closed
4 years ago
1
Allow for more rich variable names
#2
StephanGocht
closed
4 years ago
2
Use exit status to indicate failed verification
#1
ciaranm
closed
5 years ago
0