Declarative sequential pattern mining - View it on GitHub