search

conp-solutions / riss

Riss SAT Solver
GNU Lesser General Public License v2.1
8 stars 5 forks source link

Cmake flags #8

Closed conp-solutions closed 5 years ago

conp-solutions commented 5 years ago

Allow to compile with older compilers.

conp-solutions commented 5 years ago

The CI failure seems to have existed before, running the CI check manually on my notebook succeeds.