tag:github.com,2008:https://github.com/angmavrogiannis/Cook2LTL/releases Release notes from Cook2LTL 2024-12-27T11:16:58Z