Options for the solver. More...

#include <solver.hh>

Public Attributes
AppMode	mode = AppMode::solve
	Operation mode of the solver.

size_t	imin = 0
	The minimum number of incremental steps.

std::optional< size_t >	imax = std::nullopt
	The maximum number of incremental steps.

IStop	istop = IStop::sat
	The stop condition for the incremental mode.

bool	single_shot = false
	Restrict to single shot-solving.

bool	profile = false
	Enable profiling.

Detailed Description

Options for the solver.

The documentation for this struct was generated from the following file:

Public Attributes