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
![](https://westergaard.eu/wp-content/uploads/2018/03/UnconstrainedMiner-600x338.jpeg)