File SatSolver.hpp

• #include <optional>
• #include <paramita/definitions.hpp>
• #include <paramita/sat/Learner.hpp>
• #include <paramita/sat/NonIncrSatSolver.hpp>
• #include <paramita/sat/Propagator.hpp>
• #include <vector>

Namespaces

Type	Name
namespace	Paramita

Classes

Type	Name
class	SatSolver An incremental SAT Solver.

Macros

Type	Name
define	SATSOLVER_C_INTERFACE (SolverClass) DEFINE\_INTERFACE\_IMPLEMENTATION(SatSolver, SolverClass)

Macro Definition Documentation

define SATSOLVER_C_INTERFACE

#define SATSOLVER_C_INTERFACE (
    SolverClass
) `DEFINE_INTERFACE_IMPLEMENTATION(SatSolver, SolverClass)`

Registers an implementation of an SatSolver so Paramita can load it.

Parameters:

• SolverClass The class to register.

---