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

use thiserror::Error;

use crate::{errors::SolverError, parser::Rule};

#[derive(Error, Debug)]
pub enum ParserError {
    #[error("Failed to read file: {0}")]
    FileReadError(#[from] std::io::Error),

    #[error("Failed to parse CNF: {0}")]
    CnfParseError(#[from] pest::error::Error<Rule>),
    #[error("Number of variables ({0}) exceeds expected maximum ({1})")]
    TooManyVariables(i32, i32),
    #[error("Number of clauses ({0}) exceeds expected maximum ({1})")]
    TooManyClauses(i32, i32),
    #[error("Failed to parse int: {0}")]
    ParseIntError(#[from] std::num::ParseIntError),
    #[error("{0}")]
    SolverError(#[from] SolverError)
}