smt_solver Namespace Reference

Classes
class	Solver
	Class for the solver. More...
struct	SolverConfiguration
	Solver configuration. More...

Variables
const SolverConfiguration	default_solver_config
const SolverConfiguration	ultra_solver_config
const SolverConfiguration	split_gb_solver_config
const SolverConfiguration	debug_solver_config

Variable Documentation

debug_solver_config

const SolverConfiguration smt_solver::debug_solver_config

Initial value:

= {
    true,
    0,
    2,
    false,
    false,
    "gb",
    true
}

Definition at line 63 of file solver.hpp.

default_solver_config

const SolverConfiguration smt_solver::default_solver_config

Initial value:

= {
    true,
    0,
    0,
    false,
    false,
    "gb",
    true
}

Definition at line 37 of file solver.hpp.

split_gb_solver_config

const SolverConfiguration smt_solver::split_gb_solver_config

Initial value:

= {
    true,          0,      0,
    true, true, "split",
    true
}

Definition at line 57 of file solver.hpp.

ultra_solver_config

const SolverConfiguration smt_solver::ultra_solver_config

Initial value:

= {
    true,
    0,
    0,
    false,
    false,
    "gb",
    true
}

Definition at line 47 of file solver.hpp.