MiningZinc is a high-level language for constraint-based mining that supports both user-defined constraints and efficient, specialised solving.