GitHub repository: L4ys/LazyKLEE
Primary language: C
Created: 2016-10-19T16:00:57Z
Description: Lazy python wrapper of KLEE for solving CTF challenges