search

kperun / SATPrakPDW

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

Implement removal of constraints #20

Closed DavidWz closed 7 years ago

DavidWz commented 7 years ago

Currently our solver cannot remove constraints properly. Implement support for this.

This is more of a milestone than an issue actually.