Download Latest Version
sealion-0.9.0-linux.gtk.x86.zip (107.5 MB)
Get an email when there's a new version of sealion
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README.txt | 2013-04-08 | 1.5 kB | |
| sealion-1.0.0.sha1sum | 2013-04-08 | 374 Bytes | |
| sealion-1.0.0.md5sum | 2013-04-08 | 334 Bytes | |
| sealion-1.0.0-win32.x86_64.zip | 2013-04-08 | 250.1 MB | |
| sealion-1.0.0-win32.x86.zip | 2013-04-08 | 250.2 MB | |
| sealion-1.0.0-macosx.cocoa.x86_64.zip | 2013-04-08 | 249.6 MB | |
| sealion-1.0.0-linux.gtk.x86_64.zip | 2013-04-08 | 250.4 MB | |
| sealion-1.0.0-linux.gtk.x86.zip | 2013-04-08 | 250.2 MB | |
| Totals: 8 Items | 1.3 GB | 0 | |
Rease Notes: 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 opened API: generic internal solving visible properties extension allowing strings as names of program elements filename in programs to solve string provider sorts elements of a block in order of appearance in source classes for Lana in- and output descriptions annotation extension mechanism active rule grounding adaptor for launchconfigurations to language interface parse grounded dlv code (-instantiate)