Tools

TAMER

TAMER is an application-oriented planner for the ANML (read as “animal”) planning specification language. The objective of TAMER is to provide functionalities to model, solve and analyze planning problems in practice. For further information, please refer to the TAMER’s web page. Website

Unified Planning

Unified Planning Library is an open-source Python library for creating, manipulating and solving planning problems. For further information, please refer to the Unified Planning’s documentation page. Website

PySMT

PySMT is an open-source Python library for creating, manipulating and solving SMT problems. For further information, please refer to the PySMT’s documentation page. Website