is_satisfying_assignment

problemreductions::models::satisfiability

Function is_satisfying_assignment 

Source 
pub fn is_satisfying_assignment(
    _num_vars: usize,
    clauses: &[Vec<i32>],
    assignment: &[bool],
) -> bool
Expand description

Check if an assignment satisfies a SAT formula.

ยงArguments

  • num_vars - Number of variables
  • clauses - Clauses as vectors of literals (1-indexed, signed)
  • assignment - Boolean assignment (0-indexed)