# Mutalog - A Tool for Mutating Logic Formulas
MutaLog is a testing tool which allows performing mutation analysis of logic formulas.

MutaLog allows:

   * Loading a logic formula from a file. MutaLog supports the DIMACS (Conjunctive Normal Form) format,
   * Visualizing the clauses of the formula
   * Create mutants of the formula,
   * Load a test suite and evaluate the mutation score towards the formula mutants.

For more information, check the documentation embedded in the tool or [the online version](http://henard.net/research/SPL/MutaLog/doc/).

![Screenshot of Mutalog](screenshot.png)


