This repository provides a modular framework for symbolic dynamics model-based control, integrating dynamics models, controllers, and algorithms. This also includes Mujoco simulation environments.