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