Pattern mining is an essential part of knowledge discovery and data analytics. It a powerful paradigm, especially when combined with constraint reasoning. In this paper, we present Seq2Pat, constraint-based sequential pattern tool high-level declarative user interface. The library finds patterns that frequently occur in large sequence databases subject to constraints. We highlight key benefits ...