Have you seen http://www.margrave-tool.org/v3/ which builds on Kodkod (which came after Alloy...)?