This package contains a pure-Java evaluator/simulator for Alloy4 instances.