Evolutionary Tree Miner

Every other miner builds a model out of the log by a fixed recipe, and each recipe contains one unstated opinion about what a good model is. This one searches instead: it breeds a population of process trees and scores each on replay fitness, precision, generalization and simplicity — with the weights left to you. Slower than a recipe, and the only miner here you can argue with.