Crate boolean_circuit

Re-exports

pub use circuit::Circuit;

pub use gate::Gate;

pub use gate::Operation;

pub use literal::Literal;

Modules

builder

circuit

file_formats

gate

literal

Functions

evaluate

Returns the values computed in the circuit’s output gates given assignments to all required variables.

evaluate_gate

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

generate_cnf

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