Solver for ASP plus conditional linear constraints with founded variables - View it on GitHub