Struct conjure_core::solver::adaptors::Kissat

pub struct Kissat { /* private fields */ }

A SolverAdaptor for interacting with the Kissat SAT solver.

Implementations

impl Kissat

pub fn new() -> Self

Trait Implementations

impl Default for Kissat

fn default() -> Self

Returns the “default value” for a type.

impl SolverAdaptor for Kissat

fn solve( &mut self, callback: SolverCallback, _: Internal, ) -> Result<SolveSuccess, SolverError>

Runs the solver on the given model.

fn solve_mut( &mut self, callback: SolverMutCallback, _: Internal, ) -> Result<SolveSuccess, SolverError>

Runs the solver on the given model, allowing modification of the model through a ModelModifier.

fn load_model( &mut self, model: ConjureModel, _: Internal, ) -> Result<(), SolverError>

fn get_family(&self) -> SolverFamily

Get the solver family that this solver adaptor belongs to

fn init_solver(&mut self, _: Internal)

fn get_name(&self) -> Option<String>

Gets the name of the solver adaptor for pretty printing.

fn add_adaptor_info_to_stats(&self, stats: SolverStats) -> SolverStats

Adds the solver adaptor name and family (if they exist) to the given stats object.