3 ms·MiningZinc: A declarative framework for constraint-based mining (2017)1 points by teleforce 2y ago