satgalaxy 0.2.0

satgalaxy-rs is a Rust library that provides Rust bindings for multiple popular SAT solvers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#[cfg(feature = "parser")]
mod parser;
use std::error::Error;

#[cfg(feature = "parser")]
pub use parser::ParserError;

#[derive(Debug)]
pub struct  SolverError(pub &'static str);

impl std::fmt::Display for SolverError   {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
        write!(f, "{}", self.0)
    }
}

impl Error for SolverError {
    fn description(&self) -> &str {
        self.0
    }
}