Browse Source

Oops, fixed a breaking change

karmarkar
Thomas Johnson 3 years ago
parent
commit
b1860636e3
  1. 6
      src/messy_minsat.rs

6
src/messy_minsat.rs

@ -175,7 +175,7 @@ fn reset(vars: &Vec<Var>) {
}
}
fn solve_minsat_recursive(vars: &Vec<Var>, start: usize, end: usize) -> usize {
pub fn solve_minsat_recursive(vars: &Vec<Var>, start: usize, end: usize) -> usize {
if end == start + 1 {
let mut nb = 0;
for clause in &vars[start].clauses_neg {
@ -206,7 +206,7 @@ mod test {
// I was going to use "naïve" instead of "simple", but non-ASCII in identifiers is currently
// feature-gated.
fn simple_solver_ex1() {
vars![a, b, c, d];
clause_vars![a, b, c, d];
let mut cwl = Vec::new();
cwl.push((make_clause!(a | b | -c | d), 1));
cwl.push((make_clause!(-a | b | -c | d), 1));
@ -226,7 +226,7 @@ mod test {
#[test]
fn recursive_solver_ex1() {
vars![a, b, c, d];
clause_vars![a, b, c, d];
let mut cwl = Vec::new();
cwl.push((make_clause!(a | b | -c | d), 1));
cwl.push((make_clause!(-a | b | -c | d), 1));

Loading…
Cancel
Save