otter_sat 0.1.0

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

//! Implementation details of the [literal trait](Literal) for the [ABLiteral] structure.

use crate::{
    structures::atom::Atom,
    structures::literal::{ABLiteral, Literal},
};