nmanthey / riss-solver

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

Dynamic lib #11

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

Actually build a shared library for IPASIR, and test that it can be built during CI. While being at it, also add -flto.