Download
ASPIDE is free for academic and non-commercial educational use, as well as for use by non-profit organisations. Note that current release is a Beta version: the system was tested on Windows(XP/Vista/7), Linux, Mac OS X and since version 1.47, it requires Java 8 (since that version, ASPIDE will not work with Java 7 or previous versions). It currently supports the DLV system and ASP Core 2.0 language.
ASPIDE is composed by a main library, that is under the GNU General Public Licence, offering a minimal set of tools for editing simple files, running programs and getting results using an ASP solver. Additional functionalities will be enabled by accepting to dowload an add-on package.
To Download ASPIDE please read and accept the following terms conditions and follow the instruction specified below.
Beta Version 1.24
Release Date |
April 06, 2012 |
Version | 1.24-beta |
Release Name | ASPIDE_1.24-beta |
Description | New Features - Introduced disabling feature for imported Plug-ins. - Updated the SDK for plug-ins development. Bug Fixes: - Fixed problems on opening editors created with the plug-ins. - Fixed problems with plug-ins management |
Beta Version 1.23
Release Date |
March 31, 2012 |
Version | 1.23-beta |
Release Name | ASPIDE_1.23-beta |
Description | New Features - Introduced possibility to add and use user-developed plugins for: - handling new generic input formats; - performing (online) program rewritings; - customizing the format of solver results. Bug Fixes: - Fixed problems on deleting and renaming of files. |
Beta Version 1.22
Release Date |
February 24, 2012 |
Version | 1.22-beta |
Release Name | ASPIDE_1.22-beta |
Description | New Features - Enhanced test case language: - Added statements for selecting rules that contain particular predicates on the test cases definition. - Added statements that check whether a unit test corresponds to a Splitting set or a DLP-Function. - Enhanced the schema management of the predicates, by adding: - schema panel on the outline that shows a view of all the schemas defined in a DLV file (@schema, #import, @useTable, @createTable); - enhanced schema editing (error management, quick Fixes, etc.); - enhanced typing system for schemas and imported predicates - consistent schema editing in the presence of external sources. - Improve & Fix external file import - "Import DLV file" becomes "Import file" and automatically recognizes the file type from the extension - "Import project" can deal with multiple files without freezing Bug Fixes: - The execution is now done correctly if the user specifies, on the Run Configuration, a different solver (not already set as default solver). - Solved some problems on applying Quick Fixes on the correct position of the text editor. - Solved some visualization problems on the error console. - When a double-click is done on errors of Test Files, the selection of the corresponding row is done correctly. - Some fixes on the Visual Editor for Test suites - Fixed a bug on getting the schema of a predicate using the @schema annotation. - Fix a problem concerning automatic naming of rules during test suite creation. - Global error updating now works properly when TYP files and Test files are saved. - No warning is issued whenever an imported predicate does not occurs in the head of any rule. - Fixed bugs concerning the update of schemas on the textual/visual switching phase. - Mark as failed a testcase execution that fails (e.g.. because the solver is missing). - Improve coloring for file annotations (e.g. @useTable, @createTable and so on). |
Beta Version 1.21
Release Date |
December 13, 2011 |
Version | 1.21-beta |
Release Name | ASPIDE_1.21-beta |
Description | New Features - Introduced lazy loading, and editing features on demand to improve performance for huge DLV files. Bug Fixes: - Rules like :~ X = 1 now are open properly on the Visual Program Editor. - Removed redundant parsers calls while typing or switching from visual to textual modes. - Fixed a bug when DLV files are disabled. |
Beta Version 1.20
Release Date |
November 07, 2011 |
Version | 1.20-beta |
Release Name | ASPIDE_1.20-beta |
Description | New Features - Add support for visual editing of directives (such as #maxint). - Add specific support for #import and #export directives - Import of external projects - Warnings on rules are now are detected by considering all the files of the same project - Integration of IDPDraw tool for visualizing interpretations in a graphical way in the Run Configuration - Add postifx on duplicate predicate names in the body details/graph panels of the visual editor Bug Fixes: - Support some non-visually-editable aggregate atoms in the Visual Program Editor - The Not command, on the Visual Program Editor, now works properly when more than entities are selected. - Performance improvements when huge DLV files are loaded - Safety checking on Directives and Weak Constraints now works properly - On executing of a Run Configuration, if some file is not saved, ASPIDE asks to save the file. - On double clicking on the "Facts" node in the outline ASPIDE asks if the user wants to switch to the Visual Program Editor. - The Import DLV File command now works properly when it is used from the ASPIDE Home. - When a query is executed and the result is empty, the result window now shows correctly an empty result. |
Beta Version 1.19
Release Date |
October 06, 2011 |
Version | 1.19-beta |
Release Name | ASPIDE_1.19-beta |
Description | Error management on test files. Additional assertions: assertNumberModels(n) and assertNoModels. Improved Variable completion in text editing. Fixed bugs: - The recent workspace list now shows workspaces in the correct order. - Assertion management problem regarding constraint assertions used together with atomic assertions fixed. - Fixed a problem occurring when test suites are run several times. - Fixed a problem occurring in the Visual Test Suite Editor when assertBestModel is used. - Fixed a problem occurring in test suites management when the default Run Configuration (ALL_FILES) is used; - Fixed a problem occurring in test case generation. - Renaming of Run Configuration now works properly. - Fixed a problem concerning unexpected Warnings on ASP files. - Popups correctly disappear in the Visual Program Editor. - #maxint directives are properly handled now. - Fix a problem concerning typeConv specification in the #import directives. - Strong negated literals properly visualised in the program outline. - Fixed behaviour when a Run Configuration dialog or a Test Suite dialog is open: the current run configuration is selected on the dialog. - Visualisation of strong negated literals introduced on the Result Window. |
Beta Version 1.18
Release Date | September 12, 2011 |
Version | 1.18-beta |
Release Name | ASPIDE_1.18-beta |
Description |
- Run Configuration management - Visual Program Editor - Test Suite creation, execution, assertion management and test suites creation |
Beta Version 1.17
Release Date | July 19, 2011 |
Version | 1.17-beta |
Release Name | ASPIDE_1.17-beta |
Description | Changed Solver Specifications. Now it is possible to add more than one different default solvers for execution. Created feature Import Project. Enhanced
the Test Suite features with constraint assertions and best model cost
assertions in case of execution with weak constraints. - Project and Files management regarding missing files and multiple deleting of files - Quick Fix for domain predicates - Run Configuration regarding files with relative paths - Test Suite creation and execution |
Beta Version 1.16
Release Date | June 27, 2011 |
Version | 1.16-beta |
Release Name | ASPIDE_1.16-beta |
Description | Some bug fix on test suites. Introduced feature 'check for updates'. Supporting of the Best Model for the Weak Constraints in the Results Window. |
Beta Version 1.15
Release Date | June 21, 2011 |
Version | 1.15-beta |
Release Name | ASPIDE_1.15-beta |
Description | Created installation for Mac OSX. Introduced the possibility to launch ASPIDE by command line giving also DLV files as parameters. The installation process adds the ASPIDE installation folder to the PATH environment variable on both Windows and Linux operating systems. On Windows and Mac OSX, after the installation process, by double-click on a file with extensions .dl, .dlv, .asp and .typ, ASPIDE will be launched with the selected file. Modified test suite implementation to allow running of more Test Suites at the same moment. Added new help features on textual program composition. - Fixed bugs on: - execution and error management of Test Suites. - the Visual Editor of the Test Suites, adding also a graphical assert management. - testing mode of the Assert managements. In particular on the Layout management of the Window and on the saving process of asserts. - execution of ASPIDE if it is launched from a different folder. |
Beta Version 1.14
Release Date | May 18, 2011 (Version presented on LPNMR-11) |
Version | 1.14-beta |
Release Name | ASPIDE_1.14-beta |
Description | Added Visual Editor for test suites definition and asserts Added new features for helping the user to rule compositions. - Fixed bugs on: - assert management by the results window - workflow definition and execution - debugger |
Beta Version 1.12
Release Date | April 8, 2011 |
Version | 1.12-beta |
Release Name | ASPIDE_1.12-beta |
Description | - Fixed bugs on: - Test suite creations by selecting sub programs - Creation of a new test case when the user selects sub programs - Setting of the SPLIT_PROGRAM parameter on selecting sub programs and creating a new test case - Relative paths for the input files on the Test Suites |
Beta Version 1.11
Release Date | April 5, 2011 |
Version | 1.11-beta |
Release Name | ASPIDE_1.11-beta |
Description | Added graphical tools and icons on the results window. Creation of new Test Suites from the results window. - Fixed bugs on: - Execution of Test Suites with the Run Configuration - Relative paths for the input files on the Test Suites |
Beta Version 1.1
Release Date | March 29, 2011 |
Version | 1.1-beta |
Release Name | ASPIDE_1.1-beta |
Description | - Introduced new Test Suite generation and management. - Fixed bugs on: - Wrong error signaling of arity also when the rules are disabled. |
Beta Version 1.0
Release Date | February 18, 2011 |
Version | 1.0-beta |
Release Name | ASPIDE_1.0-beta |
Description | - Introduced, on the Outline, a highlighting of the name of the rules. - Introduced, on the Source Panel, a highlighting of the table names stored in the database. - Introduced installer for Windows and Linux - Re-engineered the Visual Dependency Graph - Fixed bugs on the Visual Editor and on program Annotations management. - Fixed bugs on Safety Signaling (also in collapsed entities of the Visual Editor). |
Beta Version 0.8.5
Release Date | February 2, 2011 |
Version | 0.8.5-beta |
Release Name | ASPIDE_0.8.5-beta |
Description | Introduced Quick Fixes on the Visual Editor of logic programs. In particular the user can do quick fixes on Safety Errors and Arity Errors using the outline. The user can also fix a non-safe attribute by clicking directly on the interested attribute. Remade the synchronization of the external sources with the database. On the Source Panel, it is possible also to see both the original names of the tables stored in the database, and the imported names. |
Beta Version 0.8.4
Release Date | Janaury 15, 2011 |
Version | 0.8.4-beta |
Release Name | ASPIDE_0.8.4-beta |
Description | Fixed bug for saving of logic program with list (es. fieldList([X|[Y|YL]]) |
Beta Version 0.8.3
Release Date | Janaury 10, 2011 |
Version | 0.8.3-beta |
Release Name | ASPIDE_0.8.3-beta |
Description | Fixed bug on safety for Aggregate Atoms. Terminated safety error signaling on the outline. Now it works also for aggregates and collapsed predicates. Re-drawn
About
window: introduced possibility to click on the link of ASPIDE
website and on the Email of the authors. Inserted also the button for
sending suggestion/signaling bugs. |
Beta Version 0.8.2
Release Date | December 21, 2010 |
Version | 0.8.2-beta |
Release Name | ASPIDE_0.8.2-beta |
Description | Inserted User Manual. Introduced
partially the signaling of the safety error in the outline and made bug
fix for
the safety in the visual editor. |
Beta Version 0.8.1
Release Date | December 20, 2010 |
Version | 0.8.1-beta |
Release Name | ASPIDE_0.8.1-beta |
Description | Introduced Licence and Email in the About Window. |
Beta Version 0.8
Release Date | December 17, 2010 |
Version | 0.8-beta |
Release Name | ASPIDE_0.8-beta |
Description |
The first official release of ASPIDE. This version supports the visual editor, presented on the 25th Italian Conference of Computational Logic (CILC2010), that allows for drawing logic programs (for more information visit www.mat.unical.it/ricca/programgui.html). Moreover this version has a text editor that provides syntax coloring, error highlighting, code templates, auto-completion, dynamic code templates definition, quick fixed of errors and refactoring of predicates and variables. Other important features are: advanced configuration of the execution, with both tabular visualization of the results and execution in console, execution in Profiler, file and project management, enabling/disabling of single files, test suite, text/visual switching of the programs, dynamic window layout. ASPIDE provides also an advanced management of the configuration files used by DLVDB (TYP files) using, for the building of those ones files, both Text Editor and a Visual Editor. The Text Editor provides auto-completion and syntax coloring and the Visual Editor allows graphical editing of the TYP files by connecting to external databases. A text/visual switching has been introduced also for the TYP files, and the list of the external data-sources for the enabled TYP files, are shown separately and can be synchronized by connecting to the databases to retrieve some other tables not specified in the TYP files. Regarding programs, in both text editor and visual editor the predicates that are tables of external data-source, are evidenced by a different color. In the Visual Editor for logico programs, the user can import new external data-sources and use them in the program by drag/drop in the body graph. This version contains
a preferences window where the user can
set the type and the dimension of the font and the preferred colours in
the text editor. Using the same window it is possible to set the paths
of the executables (DLV, DLVDB, DLT, etc...) .
At the first execution of the application, an installation
window is shown where the user can set the paths of the executables. This version has also a Debugger, defined by integrating the debugging tool spock and by creating an intuitive graphical window that allows to set up the options of spock. A small wrapper for the spock results have been created too. For more information regarding spock, visit www.kr.tuwien.ac.at/research/systems/debug/index.html. This version contains also a graphical visualization of the Dependency Graph for the logic programs. |