In ACM Transactions on Graphics (SIGGRAPH), 44(4), August 2025. To Appear. This repository contains the official implementation of MoVer, a domain-specific language based on first-order logic that can ...