Explore projects

Avoiding auto collisions on Talos robot

Resource-Constrained Scheduling Solver based on difference logic and clause learning

The SAT and MaxSAT encoding for generating optimal binary decision diagrams.

This repo contains a PDDL-based planning system for ROS2.

code de simulation et de contrôle du quadrupède Solo

Nim’s Django Helpers

This is the official Low Side Synchronous Buck converter Gitlab