SOL/lib/program.ml, branch masterresiduation: open membership returns residual constraints2026-07-12T01:12:53+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-12T01:12:53+00:000886f3c71cf8551e4f8b3726654003a4f29645f0
negation, quantifiers and membership criteria as schema domains2026-07-11T06:15:25+00:00Marcos Maguetamaguetamarcos@gmail.com2026-07-11T06:15:25+00:0040376c3ea009eab4db9ba27837e61d8bec310b8f