GitHub repository: thiagopbueno/rddlgym
Primary language: Python
Description: A toolkit for working with RDDL domains in Python3.