-
highs Public
Forked from rust-or/highsSafe rust bindings to the Highs MILP Solver.
Rust MIT License UpdatedMay 18, 2026 -
highs-sys Public
Forked from rust-or/highs-sysRust binding for the HiGHS linear programming solver
Rust UpdatedMar 23, 2026 -
polyc Public
A little library for compactly representing the cells of a polycube and enabling transitions between its facelets
C++ UpdatedOct 13, 2025 -
lifted-domain-repair Public
Forked from nader93k/lifted-domain-repairPDDL GNU General Public License v3.0 UpdatedSep 29, 2025 -
-
-
-
unified-planning Public
Forked from aiplan4eu/unified-planningThe AIPlan4EU Unified Planning Library
Python Apache License 2.0 UpdatedAug 5, 2025 -
-
pstn-cc-dc Public
PSTN risk-bounded / chance-constrained dynamic controllability
-
iis Public
Additive-deletion filter method for IIS computation with Python-MIP
-
stnu-conflicts Public
STNU dynamic controllability checking with conflict extraction
-
gplfm Public
A Python notebook tutorial on the GPLFM method for OMA
-
-
-
-
{{ message }}