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

representation → datastructures Relation

File in smtrat-cadcells/representationIncludes file in smtrat-cadcells/datastructures
heuristics.hrepresentation.h