Crate boolean_circuit

Re-exports

pub use literal::Literal;

pub use node::Node;

pub use node::Operation;

Modules

builder

file_formats

literal

node

Functions

evaluate

Returns the value computed in node given assignments to all required variables.

generate_cnf

Turns the circuit represented by the ouput node node into a conjunctive normal form (CNF) formula.