This release adds basic experimental support for termination problems.
Specifically, Golem can now take as input termination problems in the ARI format, specifically the Integer Transition Systems from TERM-COMP.
Currently, Golem can prove non-termination by discovering a reachable lasso in the transition system.