Clojure-flavored Alloy language implemented on top of Clojure macro system
FIXME
Copyright © 2015 OHTA Shogo
Distributed under the Eclipse Public License either version 1.0.
This library depends on Alloy Analyzer. Alloy Analyzer and its dependencies are distributed under their own licenses. For more details, see README in resources/alloy4.2.jar.