issues
search
limo1996
/
SAT-Solver
Parallel SAT Solver
9
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Communication measurement
#37
limo1996
closed
6 years ago
0
Communication measurement
#36
limo1996
closed
6 years ago
0
Dpll scaling2
#35
ebhardjan
closed
6 years ago
0
Communication measurement
#34
limo1996
closed
6 years ago
0
Dpll scaling
#33
ebhardjan
closed
6 years ago
0
Local cdcl and vector
#32
ebhardjan
closed
6 years ago
0
Measurement storing
#31
ebhardjan
closed
6 years ago
0
Benchmarks
#30
ebhardjan
closed
6 years ago
1
Stealing vs master<->worker
#29
limo1996
closed
6 years ago
0
local-cdcl: implementing local cdcl
#28
ebhardjan
closed
6 years ago
0
glitch fix? glitch fix!
#27
ebhardjan
closed
6 years ago
0
Dpll vs cdcl
#26
ebhardjan
closed
6 years ago
0
Stealing scheduler
#25
limo1996
closed
6 years ago
0
Cdcl
#24
ebhardjan
closed
6 years ago
0
Implement CDCL
#23
ebhardjan
closed
6 years ago
3
Dpll improvements
#22
ebhardjan
closed
6 years ago
1
Use more than 48 cores on Euler
#21
ebhardjan
closed
6 years ago
1
Use a smarter encoding in DPLL
#20
ebhardjan
closed
6 years ago
3
"Measure" difficulty of formulas
#19
ebhardjan
opened
6 years ago
1
Identify cnfs in the plots
#18
ebhardjan
closed
6 years ago
1
Should we do work stealing scheduling?
#17
ebhardjan
closed
6 years ago
3
Plotting branch merge
#16
limo1996
closed
6 years ago
0
Fix glitch in master worker communication
#15
ebhardjan
closed
6 years ago
2
Folder reorganisation
#14
limo1996
closed
6 years ago
2
use integers instead of strings for var names
#13
ebhardjan
closed
6 years ago
2
Cleanups and Code organization stuff
#12
ebhardjan
opened
6 years ago
3
Mpi worker master fixups
#11
ebhardjan
closed
6 years ago
0
Initial Progress Presentation
#10
ebhardjan
closed
6 years ago
0
Runtime performance measurements on euler
#9
ebhardjan
closed
6 years ago
3
More test cases!
#8
ebhardjan
closed
6 years ago
4
Fix DPLL
#7
ebhardjan
closed
6 years ago
1
Mpi worker master fixups
#6
ebhardjan
closed
6 years ago
0
Fixes in MPI Worker and Master
#5
ebhardjan
closed
6 years ago
0
Mpi worker - first version
#4
ebhardjan
closed
6 years ago
0
Random cnf
#3
ZiweiHuang94
closed
6 years ago
0
Move encoding and parsing of variables from worker to CNF
#2
limo1996
closed
6 years ago
3
More than one CNF in file
#1
limo1996
closed
6 years ago
2