GitHub repository: klimentyev/aff3ct
Primary language: C++
Description: http://aff3ct.github.io