is_circuit_satisfying

problemreductions::models::specialized

Function is_circuit_satisfying 

Source 
pub fn is_circuit_satisfying(
    circuit: &Circuit,
    assignments: &HashMap<String, bool>,
) -> bool
Expand description

Check if a circuit assignment is satisfying.