Utilities for jSymbolic and ACE - View it on GitHub