2 commits

Author	SHA1	Message	Date
Michael Goulet	d62238d6a8	Do not consider elaborated projection predicates for objects in new solver	2023-03-29 16:13:05 +00:00
Michael Goulet	ed30efff3b	Comments, another test	2023-02-24 02:53:25 +00:00