GitHub repository: kursatyurt/aste
Description: Artificial Solver Testing Environment