v0.48.1

0.48.1 - 2025-08-19

Features

• Simplify set operators over literals: - Set union {1, 2, 3} \cup {4} becomes {1, 2, 3, 4} - Set difference {3, 4} \ {3} becomes {4} - Set union {1, 2, 3} \cap {1, 3} becomes {1, 3} - Set cardinality Cardinality({3, 4, 5}) becomes 3