Özgür Akgün

Hi @dstrueber - I am just wondering whether you had a chance to try this?

I don't think there is a significant difference between your model and mine Saad. Except mine was a complete model so I assumed it may be easier to check :)

Please reopen if there is an ongoing issue here!

Thanks. Just to note, this is a duplicate of #457.

Shouldn't be too hard, I plan get to this soon.

Same problem with comprehensions. `

Thanks for the report, tagging @ott2 since he wrote that example.

Just wondering if you could have a go at fixing this one @ott2? I am thinking it'll be easier for you to fix it since you wrote the example.

looks like it, thanks!

@pwn1 - SR seems to assume that `[]` is the same as `([] : matrix indexed by [int()] of int)` So this is UNSAT (with or without the type annotation)...