clasp - Answer set solver for (extended) normal logic programs

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly i386
Package filename clasp-3.1.3.txz
Package name clasp
Package version 3.1.3
Package release -
Package architecture i386
Package type txz
Category devel math
License -
Download size 312.94 KB
Installed size 867.43 KB
Clasp is an answer set solver for (extended) normal logic programs. It combines
the high-level modeling capacities of answer set programming (ASP) with
state-of-the-art techniques from the area of Boolean constraint solving. The
primary clasp algorithm relies on conflict-driven nogood learning, a technique
that proved very successful for satisfiability checking (SAT). Unlike other
learning ASP solvers, clasp does not rely on legacy software, such as a SAT
solver or any other existing ASP solver. Rather, clasp has been genuinely
developed for answer set solving based on conflict-driven nogood learning.
clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo),
as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB
solver (on OPB format).


Package Version Architecture Repository
clasp-3.1.3.txz 3.1.3 amd64 FreeBSD Ports Quarterly
clasp-3.1.3.txz 3.1.3 amd64 FreeBSD Ports Latest
clasp-3.1.3.txz 3.1.3 i386 FreeBSD Ports Latest
clasp - - -


Type URL
Binary Package clasp-3.1.3.txz
Source Package math/clasp

Install Howto

Install clasp txz package:

# pkg install clasp

See Also

Package Description
claws-mail-3.17.4.txz Lightweight and featureful GTK+ based e-mail and news client
claws-mail-address_keeper-3.17.4.txz Recipient addresses keeper plugin for Claws Mail
claws-mail-archiver-3.17.4.txz Mail archiver plugin for Claws Mail
claws-mail-att_remover-3.17.4.txz Attachments removing plugin for Claws Mail
claws-mail-attach_warner-3.17.4.txz Not attached file warning plugin for Claws Mail
claws-mail-bogofilter-3.17.4.txz Spam filtering plugin for Claws Mail
claws-mail-bsfilter-3.17.4.txz Spam filtering, bsfilter based plugin for Claws Mail
claws-mail-clamd-3.17.4.txz ClamAV based antivirus plugin for Claws Mail
claws-mail-fetchinfo-3.17.4.txz Header insertion plugin for Claws Mail
claws-mail-gdata-3.17.4.txz Plugin providing Google Contacts in the Tab-address completion
claws-mail-libravatar-3.17.4.txz Avatar display plugin for Claws Mail
claws-mail-mailmbox-3.17.4.txz Mbox maildir plugin for Claws Mail
claws-mail-managesieve-3.17.4.txz Sieve filters manager for Claws Mail
claws-mail-newmail-3.17.4.txz Message header summary logging plugin for Claws Mail
claws-mail-notification-3.17.4.txz New mail notification plugin for Claws Mail