search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Setting delta and epsilon read from command line; Fixing set_detach_xors #16

Closed AL-JiongYang closed 3 years ago

AL-JiongYang commented 3 years ago

Delta and epsilon specified in command line aren't used now. Add the function call to set the specified value.

The function set_detach_xors doesn't pass the setting of detach_xors to the underlying SAT solver. Add the function call to pass the setting.

msoos commented 3 years ago

Ah wow, great find, thank you! Merging!