search

conp-solutions / riss

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

cfm: fake unsat #14

Closed conp-solutions closed 4 years ago

conp-solutions commented 4 years ago

Signed-off-by: Norbert Manthey nmanthey@conp-solutions.com