GitHub repository: Dekker1/atlantis
Primary language: C++
Description: CBLS solver