search

meelgroup / bosphorus

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

Allow built-in SAT solver and external CM5 solver to use multiple threads #10

Closed avinashvarna closed 5 years ago

avinashvarna commented 5 years ago

Hi Mate,

On some large problems, I've found that letting the built-in SAT solver and the call to cryptominisat5 use multiple threads leads to finding the solution faster (in wall clock time). This PR adds a command line option to specify the number of threads for these solvers to use. Please merge if you think this is useful, or feel free to reject if it is not.

Thanks Avinash

msoos commented 5 years ago

Merging anyway, I'll add the check by hand :) Thanks!

avinashvarna commented 5 years ago

Thanks for merging! Sorry, I've been on international travel and haven't got a chance to make the change you had requested. My sincere apologies!

On Tue, Oct 1, 2019, 12:39 AM Mate Soos notifications@github.com wrote:

Merging anyway, I'll add the check by hand :) Thanks!

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/meelgroup/bosphorus/pull/10?email_source=notifications&email_token=AAFZGC5BLNFVLHQLEINFT4DQMJFIDA5CNFSM4IYQTSL2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD76YEDI#issuecomment-536707597, or mute the thread https://github.com/notifications/unsubscribe-auth/AAFZGC23DQZ72IOBBJCHXJDQMJFIDANCNFSM4IYQTSLQ .