casmi (cargo): Corinthian Abstract State Machine (CASM) Interpreter
Keywords: application|casm|interpreter|numeric-execution|symbolic-execution