Struct Solver 

pub struct Solver { /* private fields */ }

A struct representing a solver instance in the PaPILO library.

Implementations

impl Solver

pub fn raw(&self) -> *mut Papilo_Solver

Returns a raw pointer to the underlying Papilo_Solver.

pub fn new() -> Self

Creates a new instance of the Solver.

pub fn load_problem(&mut self, problem: Problem)

Loads a problem into the solver.

pub fn start(&mut self) -> SolveInfo

Starts the solver with the loaded problem.

Trait Implementations

impl Drop for Solver

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.