jellyfish
jellyfish copied to clipboard
[Constraint] compare to constant gate
Need to implement public APIs for comparing to constants. E.g. is_lt_const
, enforce_gt_const