Struct ProofLog

pub struct ProofLog { /* private fields */ }

A proof log which logs the proof steps necessary to prove unsatisfiability or optimality. We allow the following types of proofs:

• A CP proof log - This can be created using ProofLog::cp.
• A DIMACS proof log - This can be created using ProofLog::dimacs.

When a proof log should not be generated, use the implementation of Default.

Implementations

impl ProofLog

pub fn cp( file_path: &Path, format: Format, log_inferences: bool, log_hints: bool, ) -> Result<ProofLog>

Create a CP proof logger.

pub fn dimacs(file_path: &Path) -> Result<ProofLog>

Create a dimacs proof logger.

Trait Implementations

impl Debug for ProofLog

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

Formats the value using the given formatter.

impl Default for ProofLog

fn default() -> ProofLog

Returns the “default value” for a type.