compile with g++7 - Githubissues

nmanthey / riss-solver

sequential and parallel SAT solver

GNU Lesser General Public License v2.1

8 stars 3 forks source link

compile with g++7 #5

Closed nmanthey closed 6 years ago