A simple, flexible and extensible solver for timeline-based planning problems using Z3 and a novel abstraction refinement algorithm. - View it on GitHub