Issues
- 2
Windows compatibility
#26 opened - 1
- 2
Showing covered/not covered instances
#24 opened - 1
ERROR: Syntax error: Operator expected
#23 opened - 1
- 1
Show full hypothesis space
#21 opened - 0
Fix Popper output
#20 opened - 1
- 2
Generating all solutions
#16 opened - 1
- 8
- 3
Forcing the number of clauses?
#12 opened - 1
- 5
- 4
- 1
Timeout
#6 opened - 9
Too many stacked strings
#5 opened