otter_sat 0.0.9

A library for determining the satisfiability of boolean formulas written in conjunctive normal form, developed to support investigation into solvers by researchers, developers, or anyone curious.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Statistics regarding various things.
use std::time::Duration;

/// Dispatches containing statistics.
#[derive(Clone)]
pub enum Stat {
    /// The count of iterations made.
    Iterations(usize),

    /// The count of decisions made.
    Chosen(usize),

    /// The count of conflicts seen.
    Conflicts(usize),

    /// The time elapsed.
    Time(Duration),
}