kperun / SATPrakPDW

Interval Constraint Propagation strategy implementation for SMTRAT
MIT License
2 stars 0 forks source link

Termination due to number of splits ignored #39

Closed Verdict7 closed 7 years ago

Verdict7 commented 7 years ago

The simple iterative test does not terminate, since the split termination condition is ignored. Adding the following line to ICPState.cpp: 158 bool ICPState::isTerminationConditionReached() {

DavidWz commented 7 years ago

Fixed.