this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 f1: 1
7***/
8
9% flipstrip
10% miniimize the number of moves to turn all bools to true
11
12array[1..1] of bool: pos = [false];
13
14var 1..1: f1;
15
16constraint false \/ not pos[f1];
17
18solve satisfy;
19
20output [ "f1 = ",show(f1),";\n" ];