search

nmanthey / riss-solver

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

Up #8

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

incorporate UP implementation micro optimization