Explainable Constraint Solving - A Hands-On Tutorial
☆27Nov 28, 2025Updated 6 months ago
Alternatives and similar repositories for XCP-explain
Users that are interested in XCP-explain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An open-source course on constraint solving☆26Oct 24, 2025Updated 7 months ago
- Paper published in Transportation Research Part B☆13Jun 1, 2022Updated 4 years ago
- A cpmpy-based library for constraint acquisition.☆21Mar 23, 2026Updated 2 months ago
- Versatile Verification of Tree Ensembles☆21Mar 3, 2026Updated 3 months ago
- Code for the experiments in the paper: Bailey Flanigan, Paul Gölz, Anupam Gupta, Brett Hennig, Ariel D. Procaccia. Fair Algorithms for Se…☆11Mar 27, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Restricted Fragment Algorithm for the Dial-A-Ride Problem☆10Jan 26, 2021Updated 5 years ago
- ☆23Jan 23, 2025Updated last year
- Rhodium-SWMM is a Python library for green infrastructure placement under deep uncertainty.☆12Jun 16, 2023Updated 2 years ago
- High Performance solving suite for the Pickup and Delivery Problem and its related extensions.☆15Mar 16, 2023Updated 3 years ago
- This repo provide code for paper "FedCBO: Reaching Consensus in Clustered Federated Learning through Consensus-based Optimization".☆11May 4, 2023Updated 3 years ago
- [IEEE TETCI 2025] Official repository of the PETformer paper: "PETformer: Long-term Time Series Forecasting via Placeholder-enhanced Tran…☆13Dec 6, 2024Updated last year
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated 3 months ago
- Julia implementation of random forests for classification and regression with conformal prediction☆16Apr 11, 2018Updated 8 years ago
- USAD model on UCR Time Series Anomaly Archive☆15Oct 22, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆27May 25, 2024Updated 2 years ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆354Jun 5, 2026Updated last week
- The Vehicle Routing Problem with Time Windows (VRPTW) is the extension of the Capacitated Vehicle Routing Problem (CVRP) where the servic…☆18Aug 13, 2019Updated 6 years ago
- A MATLAB toolbox for studying steady-state and transient stability of power systems with integrated vehicle to grid.☆19Apr 12, 2016Updated 10 years ago
- Numerical illustration of a novel analysis framework for consensus-based optimization (CBO) and numerical experiments demonstrating the p…☆20Nov 13, 2023Updated 2 years ago
- Part of the Battle of Water Networks competition series | WDSA/CCWI 2026, May 18-21, Paphos, Cyprus. Design & operate water distribution …☆17Apr 28, 2026Updated last month
- Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs☆42May 26, 2025Updated last year
- Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems.☆16Jun 18, 2025Updated 11 months ago
- Advanced Machine Learning Course☆13Nov 16, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A set of reusable components for fast prototyping CVRP heuristic solution approaches.☆18Jul 31, 2025Updated 10 months ago
- Python package for inferring reservoir water extent, level and storage volume.☆14Jan 31, 2026Updated 4 months ago
- ☆23Oct 27, 2022Updated 3 years ago
- Demo the paper GA to solve the VRP with time window and delivery pickup☆20Jan 10, 2019Updated 7 years ago
- Implementation of 3 Proposed Consensus Based Economic Dispatch Optimization Algorithms☆16Mar 15, 2018Updated 8 years ago
- ☆12May 21, 2025Updated last year
- Analaysis for the batch correction paper☆12Apr 26, 2025Updated last year
- A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks☆12Dec 20, 2022Updated 3 years ago
- Some BMElib (Serre, Bogaert & Christakos) in Python☆43May 6, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Jun 9, 2025Updated last year
- ☆13Oct 3, 2024Updated last year
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 5 months ago
- Code for Multi-agent reinforcement learning to unify order-matching and vehicle-repositioning in ride-hailing services☆25Sep 19, 2022Updated 3 years ago
- source code for the paper:A Constraint Enforcement Deep Reinforcement Learning Framework for Optimal Energy Storage Systems Dispatch☆17Jul 12, 2023Updated 2 years ago
- ☆14Jan 25, 2023Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year