Overview of regular commands for working and developing vikos
=============================================================
Building
--------
*
Execute Tests
-------------
Tests are run using `cargo test`.
Executing Examples
------------------
The examples in the `examples/` directory can be compiled and run using
`cargo run --example <example-name>`. So `cargo run --example mean` will compile and run the file
`examples/mean.rs`.