This is a demo of the UnconstrainedMiner, a simple but fast for mining full Declare models. The tool uses symmetry reduction and parallelism to speed up mining, and uses a super-scalar process allowing it to mine several constraints at the same time.
UnconstrainedMiner
