MutaLog - a Tool for Mutating Logic Formulas

Resources (to be completed)

References:
[1] JCommander: a Java framework that makes it trivial to parse command line parameters
[2] Sat4j: the boolean satisfaction and optimization library for Java