Download SeaLion 1.0.0 software

[Mirror1 download link] - file hosted by sourceforge.net

An intuitive answer-set programming IDE

Whats new in version 1.0.0:
new features:
• stepping
• code completion
• search for deriving rules
• Show In' functionality in SeaLion perspective
• Run as' also in Editor
• syntax based comment toggling (CTRL+SHIFT+C, CTRL+/,CTRL+SHIFT+%)
• error message for non-existing external tool configs
• dlv download tool package
• sorting of outline view
• preliminary safety check

fixed:
• bug: parsing stops after an exception
• bug: parsing causes indexoutofbounds error
• bug: parsing of weak constraints with level/weight
• bug: parsing of additional arithmetic predicates in dlv
• bug: parsing of comparison literal starting with variable in dlv
• bug: parsing of final comment in Lana Block
• bug: some other parsing / stringprovider bugs
• bug: null pointer exception when claspD is called on program without answer sets
• bug: ASPDOC export: works only 1 time - due to transitive replacement of dispatchStrategies in HTMLCodeStringProvider
• bug: synchronising solver selection and command-line arguments of launch config only works if configuration tab is opene...