Explore projects

This submodule contains file to manipulate propositional logic based on BDDs

mldiades stands for Machine Learning for Diagnosing Discrete Event System.

C++ library of directed graphs

Public instances for the trolley problem describe in the CP 2020 paper

Tool helping the planification, execution, and result analysis for series of experimentations in operations research. Original development by Emmanuel Hebrard.

Sandbox Optimal Biped-Explicit Control

Biomechanic toolbox

This library contains scripts for working with OpenSim files and pinocchio software.

HQP for whole body motion generation

This library contains scripts for working with OpenSim files and pinocchio software.

Biomechanic toolbox

Try to adapt Mastik Toolkit to RISC-V

Collection of dynamic-graph entities aimed at implementing torque control on different robots. https://github.com/stack-of-tasks/sot-torque-control