SPARKRules Version 1.0

SparkSure has made the latest version of their SPARKRules software available:

SPARKRules is a utility program for managing proof libraries – which can contain user rule files and proof review files. SPARKRules allows user rules to be defined once and copied to Simplifier user rule files as required and supports the storage of proof review files in a separate library. The directories generated by the Examiner for the Simplifier are therefore not required for the storage of any permanent data.

You can read the full release announcement here.

Leave a Reply