SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures
smtrat::cadcells::datastructures::detail Namespace Reference

Data Structures

struct  PolyProperties
 
struct  AssignmentProperties