Version 1.2.0

Added

• Local storage to save the options

Version 1.1.0

Added

• Tabs to write and execute more programs at the same time

Version 1.0.0

First stable release!

From the previous beta version:

Added

• New solver: Clingo

Fixed

• Some bugs and improvements in the layout