provides a modeling interface for mixed complementarity problems (MCP) a...
A differentiable simulator for robotic systems.