Home Participants Code and Utilities Publications Related Projects About Us We are ASP∀: The Answer Set Programming Research Group. We are a group of computer scientists, mathematicians, and practitioners of related disciplines who enjoy the challenge of solving problems in declarative/logical languages like SAT solvers and Answer Set Programming Languages. More specifically, we seek to…