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

factory → dto Relation

File in smtrat-modules/NRAILModule/factoryIncludes file in smtrat-modules/NRAILModule/dto
AxiomFactory.hRationalCapsule.h
AxiomFactory.hVariableCapsule.h