core-logic

Ben Sless 2023-11-05T07:43:23.543329Z

can I cheat somehow and model an infinite integer domain?