search

nmanthey / riss-solver

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

Spybug #4

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

Merge SpyBug functionality, as well as a simple regression test into master