We introduce MiningZinc, a general framework for constraint-based pattern mining, one of
the most popular tasks in data mining. MiningZinc consists of two key components: a
language component and a toolchain component. The language allows for high-level and
natural modeling of mining problems, such that MiningZinc models closely resemble
definitions found in the data mining literature. It is inspired by the Zinc family of languages
and systems and supports user-defined constraints and optimization criteria.