#
cp-solver
Here are 2 public repositories matching this topic...
The efficient SMT-based context-bounded model checker (ESBMC)
kotlinpythonccppsmt-solverk-inductionautomated-testingincremental-learningbmcsolidity-contractscheriautomated-verificationcp-solver
- Updated
Oct 13, 2025 - C
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.
- Updated
Dec 6, 2024 - C++
Improve this page
Add a description, image, and links to thecp-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecp-solver topic, visit your repo's landing page and select "manage topics."