Installing IDeSyDe
Currently the only supported “installation” method is to download and use the IDeSyDe jar
directly.
Which should be reasonably easy once you have a JVM distribution intalled in your machine.
The jar can be downloaded from the IDeSyDe’s releases page.
Note that the name might note be exactly idesyde.jar
, but idesyde-x.x.x-cli.jar
or IDeSyDe-x.x.x.jar
.
Mandatory dependencies
Java
IDeSyDe requires at least a Java Runtime Environment (JRE) for Java 11 installed in the machine to run. On Windows and linux, the oracle distribution, corretto and graalvm have been tested to work. fine. On linux, it is better to follow the java installation instructions for your specific distro.
Optional dependencies
MiniZinc
IDeSyDe might use MiniZinc as the explorer for some of the design space exploration
scenarios that can be identified. Make sure that minzinc is usable from your terminal so that IDeSyDe is also
able to reach it. For UNIX like systems, this translate to having minizinc
in your PATH so that, calling minizinc
,
yields:
> minizinc
minizinc: MiniZinc driver.
Usage: minizinc [<options>] [-I <include path>] <model>.mzn [<data>.dzn ...] or just <flat>.fzn
More info with "minizinc --help"