A python Linear Programming API

pySMT: A library for SMT formulae manipulation and solving

A Python validator for SHACL

Python packages providing a library for Verification Stimulus and Coverage

AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file

Conflict-based search for multi-agent path finding

[ACL 2024] FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models

Integrating Constraints in PPO (using Isaac Gym or Isaac Lab)

🐉 Modular version of Draco visualization recommendation engine

Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.

A Python Library for modeling combinatorial constrained problems

The ISLa (Input Specification Language) language & solver.

[ICLR 2022] The implementation for the paper "Equivariant Graph Mechanics Networks with Constraints".

This repository contains the source code for "Stochastic data-driven model predictive control using Gaussian processes" (SDD-GP-MPC).

Add database table-level constraints to your Django model's Meta

An automatic rostering system that can handle skill mix requirements, staff requests and shift sequence rules

A trust-region interior-point method for general nonlinear programing problems (GSoC 2017).

Validator for SQLAlchemy Models

Python implementation of solvers for differential algebraic equation's (DAE's) that should be added to scipy one day.

Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)