search

kperun / SATPrakPDW

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

Origins when splitting manually #25

Closed Verdict7 closed 7 years ago

Verdict7 commented 7 years ago

Right now the origins when splitting manually are random. This might be a problem when removing constraints, so it should be carefully considered what to choose instead.

DavidWz commented 7 years ago

I came to the conclusion that we don't need origins. So it doesn't matter.