Overview
What is clasp?
clasp : Answer set solver for normal and disjunctive logic programs, combining the modeling capacities of ASP with techniques from the area of Boolean constraint solving
In depth
A closer look at clasp
Answer Set Programming (ASP) provides users with a modeling language designed to solve combinational problems. The clasp The main clasp algorithm uses conflict-driven nogood learning, and it does not rely on legacy software, such as SAT solvers or other ASP solvers. It has been created to perform answer set solving based on conflict-driven nogood learning. clasp can be used as an ASP solver (on the aspif or smodels format, as output by gringo), as an SAT solver (on a simpler version of the dimacs/CNF format) or as a PB solver (on the OPB format). Additionally, it can be used as a C++ library in another program.
Verdict
Should you download clasp?
clasp runs on
Windows 10/11
and is available under the
MIT License
license
— the installer is 541 KB.
We’ve catalogued it under
General.
✓
Verified clean. Every clasp build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
clasp specifications
- Publisher
-
University of Applied Sciences Potsdam
- Last updated
- Nov 19, 2023
- License
- MIT License
- Operating system
- Windows 10/11
- File size
- 541 KB
- Price
- Free
- Page views
- 1067
Help fellow users decide. Share your experience with clasp.