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

🐉 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).

NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains

Validator for SQLAlchemy Models

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

The shunted collision avoidance (SCA) for multiple fixed-wing UAVs motion planning (Implementation of RVO3D, ORCA3D, and our SCA with python).