Skip to main content

run

logicaffeine_proof::satcli

Function run 

Source 
pub fn run(
    input: &Path,
    proof_path: Option<&Path>,
    stats: bool,
    out: &mut dyn Write,
    err: &mut dyn Write,
) -> u8
Expand description

Run the solver on input, writing the solution to out and comments / diagnostics to err. When proof_path is given and the verdict is UNSAT, an exportable certificate is written there. stats prints a c stats … line to err.