GitHub repository: KTH/souper
Primary language: C++
Description: KTH fork of Souper for research purpose