File MaxSatSolver.hpp

• #include <paramita/maxsat/NonIncrMaxSatSolver.hpp>

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	MaxSatSolver An incremental MaxSAT solver.

Macros

Type	Name
define	MAXSAT_SOLVER_C_INTERFACE (SolverClass) DEFINE\_INTERFACE\_IMPLEMENTATION(MaxSatSolver, SolverClass)

Macro Definition Documentation

define MAXSAT_SOLVER_C_INTERFACE

#define MAXSAT_SOLVER_C_INTERFACE (
    SolverClass
) `DEFINE_INTERFACE_IMPLEMENTATION(MaxSatSolver, SolverClass)`

Registers an implementation of a MaxSatSolver so Paramita can load it.

Parameters:

• SolverClass The class to register.

---