mirror of
https://github.com/circify/circ.git
synced 2026-01-13 23:57:58 -05:00
5 lines
196 B
Prolog
5 lines
196 B
Prolog
non_zero(Z: field) :- ((Z + Y) + Y) + ~!-Y + to_field(Y);
|
|
Z;
|
|
exists A: field. A * Z = 1;
|
|
exists B: field, C: bool. B * C * Z = 4.
|