rssat 0.1.6

DEPRECATED: rssat 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
22



use thiserror::Error;

use crate::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)
}