this repo has no description
dekker.one
1% 变量
2var 2.0 .. 8.0: x1;
3var 2.0 .. 6.0: y1;
4var 3.0 .. 7.0: x2;
5var 3.0 .. 5.0: y2;
6%
7var -5.0..5.0: FLOAT01;
8var -25.0..25.0: FLOAT02;
9var -3.0..3.0: FLOAT03;
10var -9.0..9.0: FLOAT04;
11var 25.0..34.0: FLOAT05;
12% 约束
13constraint float_plus(FLOAT01, x2, x1);
14constraint float_plus(FLOAT03, y2, y1);
15constraint float_plus(FLOAT02, FLOAT04, FLOAT05);
16constraint float_times(FLOAT01, FLOAT01, FLOAT02);
17constraint float_times(FLOAT03, FLOAT03, FLOAT04);
18%
19solve satisfy;