Struct Solver 

pub struct Solver { /* private fields */ }

A solver that was found.

Implementations

impl Solver

pub fn find() -> Option<Solver>

Look for a solver on PATH.

Returns nothing when there is none, which is what lets the tests skip rather than fail on a machine that has not got one. CI has one, and that is where the answer matters.

pub fn within(self, seconds: u32) -> Solver

How long a single query may take before the answer is Answer::Unknown.

pub fn name(&self) -> &str

What the solver is called, for a report that has to name it.

pub fn seconds(&self) -> u32

How long a rule is being given, for the same report.

A run that says what the budget was is a run whose shrug can be read. Without it, a rule reported as unproved is either a rule that is false or a rule that ran out of a number nobody printed, and telling those apart is the whole difficulty of tamnd/rucc#949.

pub fn ask(&self, query: &str) -> Result<Answer>

Ask one question.

Errors

Anything that stops the solver from running or from being talked to.

Trait Implementations

impl Clone for Solver

fn clone(&self) -> Solver

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Solver

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.