This is a release of the tool POET version 1.0.
This version is stable to reproduce the experiments in the paper Abstract Interpretation with Unfoldings.
For more details on how to use this release check the POET wiki!
Compiled with The Glorious Glasgow Haskell Compilation System, version 8.0.1