xiw/mini-mc

minimal symbolic model checker & fuzzer

Python