Home > By category > Developer Tools >Databases & Networks > DLVHEX solver for HEX-programs



DLVHEX solver for HEX-programs

  • Downloads: 
  • Views: 
  • Rating:

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.

Free download from Shareware Connection - 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.

Publisher: kr.tuwien.ac.at | License: Freeware | Price: 0.00
Version: 2.0.0 | Size: 1478 KB | Platform: Linux, Mac OS X, Unix
Released Date: 04-07-2012 | Rating: 0 | Title: DLVHEX solver for HEX-programs

Author Url: http://www.kr.tuwien.ac.at/research/systems/dlvhex/
Program Info Url: http://www.kr.tuwien.ac.at/research/systems/dlvhex/
Download Url: http://sourceforge.net/projects/dlvhex/files/dlvhex-2.0.0.tar.gz/download?use_mirror=heanet

DLVHEX solver for HEX-programs related downloads:

Pegasos - Primal Estimated sub-Gradient SOlver for SVM - "Pegasos-Primal Estimated sub-Gradient SOlver for SVM" is a primal optimization problem solver in Support Vector Machine classification algorithm. See the paper for further reference.

An installer for your programs - Xinstaller is a program written in C for Linux. It will allow you to make an installer file for your programs. The user will have only to start the executable and to answer some easy questions(mostly "next" :)).

TclODE - ODE Solver for Tcl - Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.

eParrot - Parrot for Eiffel programs - An interface to the Parrot virtual machine for Eiffel programs, so that Eiffel programsmay use Perl, Python, Ruby, Amber, Scheme, etc.

Clebsch Gordan Coefficient Solver GUI - Easy to use Clebsch-Gordan coefficient solver for adding two angular momentums in Quantum Mechanics

Shareware Connection periodically updates pricing and software information of 'DLVHEX solver for HEX-programs' from company source 'kr.tuwien.ac.at' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'DLVHEX solver for HEX-programs' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of DLVHEX solver for HEX-programs.

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 ...

AOMEI Partition Assistant Lite Edition - No matter whether you are a casual PC user or deal with a number of computers for professional needs, taking care of hardware components is a necessity. Among all hardware components used in laptop or desktop, hard disk is the most important one. ...

Backup Dwarf Home Edition - Making backups of data and media content has become extremely important for computer users nowadays. Owing to hardware failure, you may end up losing gigabytes of precious data. Besides, you may not want to leave sensitive data accessible to all ...

Menu Uninstaller Ultra - For every Windows user it becomes necessary to remove some programs after prolonged usage. It can be necessary to free up disk space or the app may not simply suit the needs any more. Whatever is the reason, you need to uninstall third party apps ...

Canva - While designing becomes a requirement for millions of PC users at times, a majority of them do not feel comfortable about using mainstream design software. The steep learning curve associated with some graphic design and print publishing apps ...

Quick Crypt - PC users have become more conscious and careful about privacy of their data these days, especially about the data they need to share with others. There are valid reasons for this trend. Instances of personal information theft and attacking are on ...

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 ...

ChrisPC Free Video Converter - Even a few years back, video conversion was not commonplace among average PC users. However, with tremendous progress made in computer software and hardware things have changed. Now, it is quite common to see your neighborhood college student ...

Impulse Media Player - To play back media files including media and video content, you need to use suitable software. For a majority of Windows users, the integrated WMP is the default choice. However, you can also pick from so many third party music and media playback ...

TinyWall - Nowadays, it is quite hard to locate a computer user who does not need to access the web. While you browse the web for any need, it is imperative that you use security applications to safeguard your computer from various online threats. The ...




New Downloads

HelpNDoc

Full-featured help authoring
tool, easy and powerful,
producing HTML help files,
CHM, PDF, Word, iPhone, ePub,
Kindle and ...

Alvas.Audio

Alvas.Audio for .Net is an
audio library written in C#.
The collection allows C# and
VB.Net developers to create
...

ByteScout PDF Renderer SDK

PDF Renderer SDK for .NET,
ASP.NET, ActiveX converts PDF
to PNG, TIFF, BMP, PDF to EMF
metafile. PDF Renderer SDK
does ...

TeeChart for PHP

Object-Oriented Charting
component library completely
written in PHP and ready to be
used in any PHP scripts.
Includes ...

InstallAware Free Installer

InstallAware\'s new Free
Installer runs inside Visual
Studio and creates setups
automatically, by scanning
your loaded ...

dbHelperCreator

Almost all Android
applications are using a
database to store data. There
are many ORM solution
available for automatic ...

TRichView for Delphi

Delphi/C++Builder components
for displaying, editing and
printing rich hypertext
documents. Various text
formatting, ...

PCLTool SDK Option V : PCL
to PDF

PCLTool SDK Option V converts
COMPLEX PCL into PDF or PDF/A
format, or XPS format while
extracting text. The PCLXForm
...

PExe

Executable File Validator with
option to disassemble NET
assembly

ScreenMaster

Easy program for automatic
screenshot capture allowing
making screenshots with set
frequency. The program can
work in ...

Multi Edit 2008

A Powerful IDE, with its
speed, depth, &
uncompromising program access.
Supports 50+ languages. Search
with Perl 5 ...

OneClickHelp

OneClickHelp offers the
elegant approach for creation
of help materials. You create
as usual the document in MS
Word and ...