README.md

SafePKT CLI

This project is implemented in the context of the European NGI LEDGER program.

This component is a command-line interface application aiming at bringing more automation
to the field of software verification tools targeting rust-based programs.

See SafePKT description

Table of contents

• Installaton
• Acknowledgment
• License

Installation

As you need node.js available, we recommend the installation of a Node.js version management tool like one of the following:

• nvm or
• n

Install JavaScript dependencies.

npm install

Acknowledgment

We're very grateful towards the following organizations, projects and people:

• the JavaScript and NuxtJS community at large
• All members of the NGI-Ledger Consortium for accompanying us
  
  
  

License

This project is distributed under either the MIT license or the Apache License.