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

Contains strategy implementations for max SMT computations. More...

Data Structures

class  MaxSMTBackend
 
class  MaxSMTBackend< Solver, MaxSMTStrategy::FU_MALIK_INCREMENTAL >
 
class  MaxSMTBackend< Solver, MaxSMTStrategy::LINEAR_SEARCH >
 
class  MaxSMTBackend< Solver, MaxSMTStrategy::MSU3 >
 

Detailed Description

Contains strategy implementations for max SMT computations.