Make using Riss simpler

nmanthey / riss-solver

sequential and parallel SAT solver

GNU Lesser General Public License v2.1

8 stars 3 forks source link

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

Lower entry bar by making output more clear, and adding a step by step tutorial.