search

kperun / SATPrakPDW

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

Pass formulas to backend #54

Closed DavidWz closed 7 years ago

DavidWz commented 7 years ago

We need to pass received formulas to our backend.

Call addReceivedSubformulaToPassedFormula(_subformula) during our ICPPDWModule::addCore method.

Check, if we need to erase that formula again during our ICPPDWModule::removeCore method. (I couldn't find any similar calls in other modules)

DavidWz commented 7 years ago

Yep, we need to erase. Done.