SMT-RAT  22.12
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving

icp → utils Relation

File in smtrat-mcsat/explanations/icpIncludes file in smtrat-mcsat/utils
IntervalPropagation.hBookkeeping.h