aquavm-air-cli (cargo): AIR execution and printing tool
Keywords: tracing|fluence|air|interpreter|pi-calculus|webassembly