software/minizinc/tests/spec/unit/division/test_div5.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / division / test_div5.mzn

at develop 117 B view raw

 1/***
 2!Test
 3expected: !Result
 4  status: UNSATISFIABLE
 5***/
 6
 7var 0..1: x; 
 8
 9constraint 1 div x != 1; 
10
11solve satisfy;
12