Replacing standard support propagation by belief propagation in MiniCP
☆15Feb 18, 2026Updated 2 weeks ago
Alternatives and similar repositories for MiniCPBP
Users that are interested in MiniCPBP are comparing it to the libraries listed below
Sorting:
- Advanced fold methods for Kotlin☆12Updated this week
- ☆10Oct 26, 2021Updated 4 years ago
- seahorse - A handy package for kickstarting AI contests☆81Jan 29, 2026Updated last month
- This spring-based project is a core-library for generate POJO's from asyncApi yaml contract.☆11Feb 13, 2026Updated 2 weeks ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- FeiTwnd的个人网站☆31Updated this week
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆334Feb 26, 2026Updated last week
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- Codeless end-to-end testing framework which makes your testing easier☆44Updated this week
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Mar 27, 2024Updated last year
- Sources of the Xyna Factory Server, Xyna runtime applications (like GuiHttp or gitintegration), and installation scripts.☆18Updated this week
- MaxiCP☆17Updated this week
- X-definition 4.2 (Open Source Software)☆15Updated this week
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- Example Java JUnit consumer☆12Feb 23, 2026Updated last week
- A package for building customizable decision trees and random forests.☆10Oct 6, 2025Updated 4 months ago
- Java PDF table extraction & OCR library. Extract structured tables from text-based and scanned PDFs using stream, lattice (OpenCV-style g…☆32Updated this week
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- This is a Polarion extension which provides common part to other extensions reducing code duplication.☆16Updated this week
- A LLM-friendly framework for translating dynamical equations to gymnasium-compatible RL environments.☆33Oct 16, 2025Updated 4 months ago
- ☆18Updated this week
- Example for baking the current git commit hash into a bazel C++ project☆11Jan 25, 2022Updated 4 years ago
- DoomArena is a Framework for Testing AI Agents Against Evolving Security Threats☆56Sep 12, 2025Updated 5 months ago
- Official Pangea Java Monorepo☆13Updated this week
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- programs written in Picat