Sakura/test/constraint_2op_tests.erl, branch mastergeneralize constraints in membership with quantification2026-03-04T03:48:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-03-04T03:48:10+00:00a02a0cc86ccc2ca3e05a57debc34ac47379cf3ea
2OP Constraints and manipulation2026-03-03T03:09:46+00:00Marcos Maguetamaguetamarcos@gmail.com2026-03-03T03:09:46+00:0024e5e531134fbb8757151a68438d0b8426c91c4c