search

conp-solutions / riss

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

Lcm #2

Closed conp-solutions closed 6 years ago

conp-solutions commented 6 years ago

Add code for LCM, it's disabled by default. Preliminary testing showed that for BMC the performance of the solver could be improved slightly.