EnglishFrenchSpanish

Ad


OnWorks favicon

clasp - Online in the Cloud

Run clasp in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command clasp that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


clasp - a conflict-driven nogood learning answer set solver

SYNOPSIS


clasp [number][options]

DESCRIPTION


This manual page documents briefly the clasp command.

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 LPARSE output format), as a SAT solver (on
simplified DIMACS/CNF format), or as a PB solver (on OPB format).

OPTIONS


These programs follow the usual GNU command line syntax, with long options starting with
two dashes (`-'). A summary of options is included below. For a complete description,
see <http://www.cs.uni-potsdam.de/clasp/>.

-h, --help
Show summary of options.

-v, --version
Show version of program.

Use clasp online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 2
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 3
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • 4
    PyQt
    PyQt
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • 5
    Sardi
    Sardi
    Sardi is a complete restyling and
    optimisation of svg code. 6 choices for
    your applications and 10 kind of folders
    to use in your file manager. The sardi
    icons...
    Download Sardi
  • 6
    LMMS Digital Audio Workstation
    LMMS Digital Audio Workstation
    LMMS is a free cross-platform software
    which allows you to produce music with
    your computer. If you like this project
    consider getting involved in the project
    h...
    Download LMMS Digital Audio Workstation
  • More »

Linux commands

Ad