search

nmanthey / riss-solver

sequential and parallel SAT solver
GNU Lesser General Public License v2.1
8 stars 3 forks source link

Various #7

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

Fixes and improvements