Downloads
To properly run the Si* plugin please:
- Download Si* Eclipse RCP version (from Si* Eclipse RCP section).
- Extract the zipped file to C:/.
- Goal Solver, DLV Solver and Planner are already installed and configured.
- Install Eclipse 3.2.2.
- Install ALL the required plugins.
- Install Si* plugin.
- Install and set up the Goal solver, DLV solver and the Planner.
| Category | Files | Size | Downloads | |
| Si Star Tool | ||||
|
User's Guide |
2 | 303.22 kb | 1075 | |
|
Si* Eclipse RCP |
1 | 45.53 mb | 692 | |
|
Requirements Collection Scheme |
1 | 164.5 kb | 594 | |
|
Required plugin |
9 | 90.16 mb | 3006 | |
|
Si* plugin for Eclipse |
2 | 7.4 mb | 611 | |
|
Goal Analysis Solvers |
2 | 478.85 kb | 557 | |
|
DLV Solvers |
4 | 11.03 mb | 1120 | |
|
PDDL2.2 domains Planner |
3 | 6.22 kb | 1101 | |
 New downloads | ||||
