Home > By category > Developer Tools >Management & Distribution > clasp



clasp

  • Downloads: 
  • Views: 
  • Rating:

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.

Free download from Shareware Connection - clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs.

Publisher: University of Applied Sciences Potsdam | License: Freeware | Price: 0.00
Version: 2.1.1 | Platform: WinOther
Released Date: | Rating: 0 | Title: clasp

Author Url: http://sourceforge.net/projects/potassco
Program Info Url: http://sourceforge.net/projects/potassco
Download Url: http://sourceforge.net/projects/potassco/files/clasp/2.1.1/clasp-2.1.1-win32.tar.gz/download

More downloads from clasp publisher University of Applied Sciences Potsdam:

claspfolio - claspfolio is a compact tool that can help you use machine-learning techniques for selecting the solving algorithm.

iclingo - iclingo is a command line utility which implements an incremental APS system to the functions of the clingo application.

clingo - clingo is a compact application designed to combine the usage of both clasp and Gringo.

Gringo - Gringo is a compact application that can be used to calculate the ground-equivalent program by using a give s set of variables.

Fritzing - The Fritzing application was designed to be an open-source initiative to support designers, artists, researchers and hobbyists to take the step from physical prototyping to actual product.

clasp keywords:
clasp related downloads:

SeaLion - SeaLion provides you with a comprehensive development environment especially designed for answer-set programming.

DLVHEX solver for HEX-programs - dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.

Gringo - Gringo is a compact application that can be used to calculate the ground-equivalent program by using a give s set of variables.

spock - Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.

GK Exam preparation - GK Exam preparation app helps you in preparing for SSC,Bank,PO,Computer operates,LDC and IBPS exams in Hindi medium. This App provides Question Answer Set of General Knowledge For quick exam preparation All Sets have Important questions exam ...

Shareware Connection periodically updates pricing and software information of 'clasp' from company source 'University of Applied Sciences Potsdam' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'clasp' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of clasp.

New Reviews

RawTherapee - There are so many image editors out there but when it comes to powerful and versatile RAW file editors, the choices are somewhat limited. With Adobe switching to Cloud-based subscriptions for most of its apps, semiprofessional users including ...

NovaBench - PC performance benchmarking is something that may not interest average users much but tech savvy lot resort to such apps to find out prowess and capability of their laptops and desktops. While there are quite a few PC benchmarking apps in market, ...

Norton Identity Safe - Symantec has been one of the most popular and major players in computer security solution for years. Its cutting edge system security products usually come with data security features. However, with its Identity Safe, the company has given users ...

SiSoftware Sandra Lite - People use computers for various needs, including work, entertainment and information seeking. However, a majority of PC users do not bother much about intricate details of their PC’s hardware parts. A section of users are particular about ...

Qustodio Free Parental Control - Without using the Internet, it is extremely difficult to obtain information, seek entertainment or look for study references but there is a downside to it as well. While some tech savvy kids master the tricks to bypass monitoring of their parents ...

DriveHQ Online Backup Enterprise Edition - For individual users as well as organizations, taking backup of data is vital nowadays. You really cannot count on the PC hard drive solely to store your data forever in a secure manner, as it is! Backup software is a prerequisite and choosing ...

PC DeCrapifier - There is hardly any computer user who does not want to keep the PC running at top speed. However, unnecessary software and bloatware can reduce the speed and performance of your PC. Such Apps often come pre installed with laptops and desktops. ...

MiniTool Partition Wizard Home Edition - It is true that you need a powerful CPU and adequate amounts of RAM to keep your computer running smoothly. However, it is also necessary to ensure that the hard disk remains in top condition. Hard disk needs to be properly optimized and ...

Machete Video Editor Lite 3.8 build - Average PC users are no longer strangers to video file handling and editing. There are so many sources from where you acquire video files, as it is. You also need to deal with video clips acquired from cameras and smart phones. At times, you may ...

MusicBee - Irrespective of what type of a PC you use, it will be necessary to use a media player app from time to time. If the WMP is not your cup of tea, you will have to pick from third-party music player apps. The problem with some such apps is that ...




New Downloads

ByteScout Text Recognition
SDK

Text Recognition SDK enables
extraction of text from any
photos, pictures and scanned
images preserving the layout
of the ...

J4L Barcode Vision for
Delphi

Delphi barcode reader SDK for
barcode recognition. The
library can read (scan)
barcodes in images. It
supports code128, ...

dotConnect for SQLite

dotConnect for SQLite is a
data provider built on ADO.NET
architecture. With Entity
Framework and LinqConnect
support it ...

PilotEdit

PilotEdit is a powerful file
editor capable of editing huge
files larger than 400GB (40
billion lines).

ShellBrowser Delphi
Components

The ShellBrowser components
give a Delphi programmer easy
access to the Windows Shell
functionality. The components
look ...

VintaSoft Twain .NET SDK

VintaSoft Twain .NET SDK is
the professional TWAIN
scanning library for acquiring
images from scanner or camera.
SDK ...

VISCOM Video Capture Mobile
ActiveX

Capture Video from capture
card, tv tuner, dv cam, dvd
player to FLV, iPod, PSP, AVI,
WMV video.Draw multi overlay
image, ...

Spire.PDF for .NET

Spire.PDF for .NET enables
.NET applications to
manipulate PDF documents
without using Adobe Acrobat.

CudaText

Advanced code editor. Syntax
highlighting for lot of
languages (more than 120
types). Supports UTF8
encoding. ...

Devart ODBC Driver for
SQLite

Devart ODBC Driver for SQLite
provides high-performance and
feature-rich connectivity
solution for ODBC-based ...

SocketTools ActiveX Edition

The SocketTools ActiveX
Edition is a collection of
over twenty controls for
Internet application
development. Includes ...

JNIWrapper for Solaris
(x64/x86)

JNIWrapper library allows to
interface native code while
retaining full control of the
application on the Java side.
With ...