conp-solutions / riss

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

init: only run if required #9

Closed conp-solutions closed 5 years ago

conp-solutions commented 5 years ago

The activity and polarity initialization swipes over the formula once to calculate metrics. However, in the default setup these values are not used.

To save cycles, only run the algorithm in case we actually use the data.