GitHub repository: pyPMT/pyPMT
Primary language: Python
Description: A Python library for Planning Modulo Theories using SMT