search

conp-solutions / riss

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

Backbone action #22

Closed conp-solutions closed 1 year ago

AntonReinhard commented 2 years ago

Could you rebase this onto the newest changes of my branch?