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..
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_phasepicosat_set_default_phase_litpicosat_reset_phasesMaxSatisfiableAssumptionsandNextMaxSatisfiableAssumptions, which both say that they run faster when you set the default phase to true..