Symbolical Execution for MiniMal Assembler
Primary LanguagePython
A symbolic execution engine for MIMA (minimal assembler).