It's a small change - in addition to Bool and Int sort to also support Reals. The difficulty is that Z3 Reals are mathematical objects, and don't map to any Crystal number type. Crystal rationals and Crystal floats can represent some of them, but not...
Markdown supported · ⌘↵ to post
No responses yet.