woumn
Joined 10 years ago
Karma
63
Submissions
37
Member since
May 13
Joined 10 years ago
#2 is a great idea. open a ticket if you'd like.
I would highly recommend people check out Carnap. Having used Z3 and Alloy in other classic, Carnap was by far the best one I used. Very fast and it gave actually useful error messages. It was also so cool how it could represent different types of logic systems. The whole thing is like a cool blag magic to me.