Install

Running the above command will globally install the hctl-model-checker and convert-aeon-to-bnet binaries.

Install as library

Run the following Cargo command in your project directory:

Or add the following line to your Cargo.toml:

Owners

Categories

• Science
• Simulation