this repo has no description
dekker.one
1/***
2!Test
3expected: !Result
4 status: SATISFIED
5 solution: !Solution
6 _output_item: Ok
7***/
8
9constraint xorall([]) = false;
10constraint xorall([false]) = false;
11constraint xorall([true]) = true;
12constraint xorall([false, true]) = true;
13constraint xorall([true, false]) = true;
14constraint xorall([true, true]) = false;
15constraint xorall([false, false]) = false;
16
17solve satisfy;
18output ["Ok"];