casm-rt (cargo): Corinthian Abstract State Machine (CASM) Run-Time (RT)
Keywords: casm|library|run-time