sat 0.1.0

Interface for defining and solving SAT problems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Interface to SAT solvers.

use {Instance, Assignment};

pub use self::dimacs::Dimacs;

pub mod dimacs;

/// Trait for SAT solvers.
pub trait Solver {
    /// Solve an instance and return the satisfying assignment, or
    /// `None` if no such assignment exists.
    fn solve(&self, instance: &Instance) -> Option<Assignment>;
}