limo1996 / SAT-Solver

Parallel SAT Solver
8 stars 1 forks source link

Benchmarks #30

Closed ebhardjan closed 6 years ago

ebhardjan commented 6 years ago

Finally some good benchmark problems

ebhardjan commented 6 years ago

The parameters are still there, I just added a constructer that initializes them to their default value.