GitHub repository: sthiele/hasple
Primary language: Haskell
Description: An experimental Answer Set solver in Haskell