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 iffall([]) = true;
10constraint iffall([false]) = true;
11constraint iffall([true]) = false;
12constraint iffall([false, true]) = false;
13constraint iffall([true, false]) = false;
14constraint iffall([true, true]) = true;
15constraint iffall([false, false]) = true;
16
17solve satisfy;
18output ["Ok"];