OMTPlan: a tool for optimal planning modulo theories
File(s)sat_2023_14-1_sat-14-1-sat220001_sat-14-sat220001.pdf (171.61 KB)
Published version
Author(s)
Leofante, Francesco
Type
Journal Article
Abstract
OMTPlan is a Python platform for optimal planning in numeric domains via reductions to Satis -
ability Modulo Theories (SMT) and Optimization
Modulo Theories (OMT). Currently, OMTPlan supports the expressive power of PDDL2.1 level 2 and
features procedures for both satis cing and optimal planning. OMTPlan provides an open, easy
to extend, yet e cient implementation framework.
These goals are achieved through a modular design
and the extensive use of state-of-the-art systems
for SMT/OMT solving.
ability Modulo Theories (SMT) and Optimization
Modulo Theories (OMT). Currently, OMTPlan supports the expressive power of PDDL2.1 level 2 and
features procedures for both satis cing and optimal planning. OMTPlan provides an open, easy
to extend, yet e cient implementation framework.
These goals are achieved through a modular design
and the extensive use of state-of-the-art systems
for SMT/OMT solving.
Date Issued
2023
Date Acceptance
2023-05-02
Citation
Journal of Satisfiability, Boolean Modeling and Computation, 2023, 14 (1), pp.17-23
ISSN
1574-0617
Publisher
Delft University
Start Page
17
End Page
23
Journal / Book Title
Journal of Satisfiability, Boolean Modeling and Computation
Volume
14
Issue
1
Copyright Statement
© 2023 – The authors. Published by IOS Press. This is an Open Access article distributed under the terms
of the Creative Commons Attribution-NonCommercial License (CC BY-NC 4.0).
of the Creative Commons Attribution-NonCommercial License (CC BY-NC 4.0).
License URL
Identifier
https://content.iospress.com/articles/journal-on-satisfiability-boolean-modeling-and-computation/sat220001
Publication Status
Published
Date Publish Online
2023-06-08