dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / linear_old / linear / redefinitions-2.0.mzn
at develop 238 B view raw
1predicate bool_clause_reif(array[int] of var bool: p, array[int] of var bool: n, var bool: c) = 2 c = ( sum(i in index_set(p))( bool2int(p[i]) ) 3 - sum(i in index_set(n))( bool2int(n[i]) ) 4 + length(n) 5 >= 1 6 );