| CARVIEW |
Select Language
HTTP/2 200
server: nginx/1.24.0 (Ubuntu)
date: Sun, 18 Jan 2026 16:43:48 GMT
content-type: text/html
content-length: 2003
last-modified: Mon, 01 Sep 2025 08:36:02 GMT
etag: "1a5c-63db94303ae77-gzip"
accept-ranges: bytes
vary: Accept-Encoding
content-encoding: gzip
strict-transport-security: max-age=31536000; includeSubDomains
Tools | Planning, Scheduling and Optimization Unit
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