Struct Paramita::SolvingBudget

A budget for the underlying solver.

The budget allows to set a limit to the solvers based on different limits. Currently the supported limits are:

• num_conflicts: Number of conflicts
• num_propagations: Number of propagations

• cpu_time_seconds: CPU Time in seconds

• #include <definitions.hpp>

Public Attributes

Type	Name
std::optional< int >	cpu_time_seconds = {}
std::optional< int >	num_conflicts = {}
std::optional< int >	num_propagations = {}

Public Attributes Documentation

variable cpu_time_seconds

std::optional<int> Paramita::SolvingBudget::cpu_time_seconds;

the maximum number of CPU time allowed to the next solve call.

---

variable num_conflicts

std::optional<int> Paramita::SolvingBudget::num_conflicts;

the maximum number of conflicts for the next solve call.

---

variable num_propagations

std::optional<int> Paramita::SolvingBudget::num_propagations;

the maximum number of propagations for the next solve call.

---