Clojure solver for multi-way, multi-output dataflow property models.
See Bradley Vander Zanden (1996) and Freeman, Jarvi, & Smith (2009).
See the tests for examples.
Copyright © 2012 Brandon Bloom
Distributed under the Eclipse Public License, the same as Clojure.