Models (and data) of constrained problems developped with the library PyCSP3
☆14Oct 28, 2026Updated this week
Alternatives and similar repositories for PyCSP3-models
Users that are interested in PyCSP3-models are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- COmpact SOlver for COnstrained problems☆15Updated this week
- Constraint Solver ACE☆41Oct 8, 2026Updated 3 weeks ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆42May 22, 2026Updated 5 months ago
- XCSP3 Tools in Java☆27Sep 10, 2026Updated last month
- A Python Library for modeling combinatorial constrained problems☆89Oct 19, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- XCSP3 Core Parser in C++☆20Oct 16, 2026Updated 2 weeks ago
- ☆18May 12, 2025Updated last year
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆18Jul 9, 2026Updated 3 months ago
- Source code for the paper titled: "Unlocking the full potential of smart charging: Addressing paused and delayed charging problems in ele…☆11May 22, 2024Updated 2 years ago
- ☆16Oct 3, 2021Updated 5 years ago
- Spatially-Encouraged Spectral Clustering, a method of discovering clusters/deriving labels for spatially-referenced data with attribute/l…☆11Jun 17, 2020Updated 6 years ago
- [EMNLP'25] Code for paper `Language-to-Space Programming for Training-Free 3D Visual Grounding`.☆15Aug 28, 2025Updated last year
- A very simple cross-OS and python GUI+CLI to manage environment variables.☆15Mar 18, 2024Updated 2 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.
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 15, 2026Updated 2 weeks ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- Urban block renewal maximizing outdoor thermal comfort using deep reinforcement learning methods.☆11Mar 3, 2022Updated 4 years ago
- SpatialFusion-LM is a real-time spatial reasoning framework that combines neural depth, 3D reconstruction, and language-driven scene unde…☆14Nov 19, 2025Updated 11 months ago
- ☆18Jun 25, 2025Updated last year
- A matrix based approach to epidemics on temporal networks. We use methods from linear algebra to simulate infection processes on time-var…☆11Mar 26, 2019Updated 7 years ago
- python Clustering of Lines And RAsters☆13Jul 9, 2021Updated 5 years ago
- A Python API to automatically cast graph-related optimisation problems into ILP instances for Gurobi☆20Feb 7, 2023Updated 3 years ago
- [IJCAI'25] Bandit-based Adaptive Large-Neighborhood Search☆24Aug 13, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- MiniZinc support for Visual Studio Code☆11May 11, 2023Updated 3 years ago
- A spatial optmization library for covering problems.☆16Nov 17, 2023Updated 2 years ago
- A minimal Implementation of VGG16 Deep Learning Model in Python using L-BFGS to perform Image Styling/Blending☆15Dec 8, 2022Updated 3 years ago
- This library builds a graph-representation of the content of PDFs. The graph is then clustered, resulting page segments are classified an…☆23Sep 11, 2020Updated 6 years ago
- 查看Codeforces GYM的代码☆15Aug 29, 2024Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆42Updated this week
- Task queues with Celery and RabbitMQ☆18May 7, 2018Updated 8 years ago
- FICO Xpress Mosel Open Source Repository☆31Nov 14, 2025Updated 11 months ago
- Procedural generation of random urban landscapes.☆21Oct 5, 2020Updated 6 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.
- 使用遗传算法解决SLP仓库布局问题☆18May 20, 2022Updated 4 years ago
- The WhisperX API is a containerized solution for transcribing audio files using the powerful `whisperx` model. This API provides an easy-…☆18Aug 24, 2023Updated 3 years ago
- Tree canopy map of Lausanne in 2016 at a 1m resolution☆17Dec 8, 2020Updated 5 years ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆90Oct 12, 2026Updated 2 weeks ago
- PSGCNet: A Pyramidal Scale and Global Context Guided Network for Dense Object Counting in Remote-Sensing Images☆20Jun 13, 2022Updated 4 years ago
- simple ABM program to simulate a moving danger (e.g., fire) and people in a confined space trying to escape the danger☆20Nov 29, 2024Updated last year
- EvoCut: Automatic generation of acceleration cuts for integer programs via evolutionary search and LLMs.☆13Sep 1, 2026Updated last month