The tarski-lapkt package is an minor extension of Tarski. It includes additional modules to integrate lapkt and tarski
Note - Users should follow the copyright and license requirements of Tarski which are as follows.
If you find tarski useful in your research, you can cite it with the following bibtex entry:
@misc{tarski:github:18,
author = {Guillem Franc\'{e}s and Miquel Ramirez and Collaborators},
title = {Tarski: An {AI} Planning Modeling Framework},
year = {2018},
publisher = {{GitHub}},
journal = {{GitHub} repository},
howpublished = {\url{https://github.com/aig-upf/tarski}}
}
Tarski is licensed under the Apache-2.0 License.