v1.1

• Shows why computations are not performed
• Group types of results
• Detection for unachievable approximations

v1.0

First release. This version is used in my research topics, which is the preparation for my master thesis.