GitHub repository: potassco/fclingo
Primary language: Python
Description: Solver for ASP plus conditional linear constraints with founded variables