clasp

An answer set solver for normal or extended logic programs..

clasp for Windows 32 bit Download Now

clasp for Windows 64 bit Download Now

clasp Description

clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs. The method is based on the conflict-driven nogood learning technique.

You can use this tool as a ASP solver, SAT solver or PB solver for your projects that involve answer set solving.

Leave a Reply

Your email address will not be published.