GitHub repository: kperun/SATPrakPDW
Primary language: C++
Description: Interval Constraint Propagation strategy implementation for SMTRAT