The efficient SMT-based context-bounded model checker (ESBMC)

This repository introduces two novel CP approaches for mining closed interval patterns directly from numerical datasets. Unlike existing methods that require pre- and post-processing steps to handle numerical data, our models perform pattern mining seamlessly, preserving information integrity.