New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement phase-setting methods or options #23

Open

4 tasks

wkschwartz opened this issue Jan 3, 2017 · 0 comments

Labels

Milestone

Owner

wkschwartz commented Jan 3, 2017 •

edited

Loading

Setting the default phase of assumptions to true can speed up computation of maximal subset of satisfiable assumptions. Need to add support for

picosat_set_global_default_phase
picosat_set_default_phase_lit
picosat_reset_phases
Update documentation for MaxSatisfiableAssumptions and NextMaxSatisfiableAssumptions, which both say that they run faster when you set the default phase to true..

The text was updated successfully, but these errors were encountered:

wkschwartz added the enhancement label

wkschwartz modified the milestone: v1.1

wkschwartz changed the title ~~Add phase-setting methods or options~~ Implement phase-setting methods or options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment