Issues
- 1
Identify cnfs in the plots
#18 opened by ebhardjan - 3
Should we do work stealing scheduling?
#17 opened by ebhardjan - 3
Cleanups and Code organization stuff
#12 opened by ebhardjan - 1
Use more than 48 cores on Euler
#21 opened by ebhardjan - 3
Implement CDCL
#23 opened by ebhardjan - 2
Fix glitch in master worker communication
#15 opened by ebhardjan - 3
- 3
Use a smarter encoding in DPLL
#20 opened by ebhardjan - 2
Folder reorganisation
#14 opened by limo1996 - 1
"Measure" difficulty of formulas
#19 opened by ebhardjan - 3
Runtime performance measurements on euler
#9 opened by ebhardjan - 4
More test cases!
#8 opened by ebhardjan - 0
Initial Progress Presentation
#10 opened by ebhardjan - 2
use integers instead of strings for var names
#13 opened by ebhardjan - 1
- 2
More than one CNF in file
#1 opened by limo1996