Crate satire

Source

Modulesยง

formula
A module to represent conjunctive normal form formula.
parser
prelude
report
Custom Snafu error printer
solver