Hacker News new | ask | show | jobs
by BruceM 3052 days ago
Have you seen http://www.margrave-tool.org/v3/ which builds on Kodkod (which came after Alloy...)?