Skip to content

Installation and Usage

Sylva and its dependency packages have to be installed on your system to use the tool chain. The following sections describe how to install Vesyla and its dependency packages.

Requirements

Sylva code is written and managed by Rust programming language. During runtime, it uses a dependency tool for constraint programming called "minizinc". The following packages are required to install Sylva tool chain:

  1. Rust compiler with Cargo (tested rustc version 1.88.0)
  2. MiniZinc tool (tested minizinc version 2.9.3)

Sylva Installation

Sylva is currently hosted on GitHub at silagokth/sylva-suite. The tool chain is mainly written in Rust. To build binaries for the tool chain, it can be simply done by executing the below script in the main directory.

./setup.sh

The script was tested on Ubuntu 24.04.2 LTS. The script compiles the Sylva tool using Cargo, the Sylva simulator, and a file generator for creating tested examples. It will also create a subfolder called "bin" in the main directory to put the following binary files:

bin
├── config
├── sv-sim
└── sylva

Example Installation (Optional)

Provided testcases are included in the Git repository. Now, they are already compiled and ready-to-go in examples\ directory after you install Sylva Tool chain.