Explainable Constraint Solving - A Hands-On Tutorial
☆23Nov 28, 2025Updated 3 months ago
Alternatives and similar repositories for XCP-explain
Users that are interested in XCP-explain are comparing it to the libraries listed below
Sorting:
- An open-source course on constraint solving☆25Oct 24, 2025Updated 4 months ago
- Part of the Battle of Water Networks competition series | WDSA/CCWI 2026, May 18-21, Paphos, Cyprus. Design & operate water distribution …☆16Feb 9, 2026Updated 3 weeks ago
- Convex Optimization under Uncertainty☆29Feb 16, 2026Updated 2 weeks ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- Rhodium-SWMM is a Python library for green infrastructure placement under deep uncertainty.☆11Jun 16, 2023Updated 2 years ago
- Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs☆40May 26, 2025Updated 9 months ago
- Symbolic Kinetic Models with Python☆34Jun 4, 2025Updated 8 months ago
- GPRuler, an open-source computational framework to automate the reconstruction process of Gene-Protein-Reaction (GPR) rules within metabo…☆11Oct 11, 2022Updated 3 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- 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
- HTSlib bindings for Ruby☆11Jan 13, 2026Updated last month
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- The iRONS toolbox provides a set of Python functions implementing typical reservoir modelling task and a set of interactive Jupyter Noteb…☆11Dec 20, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆10Mar 10, 2025Updated 11 months ago
- Computing the gap statistics from Tibshirani et. al. for various clustering algorithms☆13Nov 10, 2025Updated 3 months ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- A Python package offering toolkits for geospatial processing, watershed delineation, and hydrologic analysis.☆13Jul 9, 2025Updated 7 months ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- ☆13Oct 3, 2024Updated last year
- A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks☆12Dec 20, 2022Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Less-wrong single-file Numba-accelerated Python implementation of Gotoh affine gap penalty extensions for the Needleman–Wunsch, Smith-Wat…☆12Oct 30, 2025Updated 4 months ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 8 years ago
- ☆14Jan 25, 2023Updated 3 years ago
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆24Feb 18, 2026Updated last week
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Real time estimation of epidemic Effective Reproduction Number for Luxembourg☆12Oct 24, 2022Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year