search

meelgroup / bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Other
67 stars 18 forks source link

fix: threadNum for cryptominisat5 #39

Closed Flash-LHR closed 1 year ago

Flash-LHR commented 1 year ago

set threadNum for cryptominisat5

msoos commented 1 year ago

Thanks, good catch!