Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.129.298 Times

DLVHEX solver for HEX-programs 2.0.0

Company: kr.tuwien.ac.at
Date Added: July 26, 2012  |  Visits: 241

DLVHEX solver for HEX-programs

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)

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.

Requirements: No special requirements
Release Date: July 26, 2012
Platforms: BSD, Mac, Linux
Users rating: 0/10

License: Freeware Size: 1.44 MB
DLVHEX SOLVER FOR HEX-PROGRAMS RELATED
Spreadsheets  -  Solver for Excel 1.0
Frontline Systems developed the original Solver for Excel on both Macintosh and Windows. For many years, we've offered Solver upgrades for Windows users, that have gotten more and more powerful over time -- but we haven't been active on the Mac....
 
Utilities  -  Hands of Time Solver for FFXIII-2 1.4.1
The Hands of Time Solver for Final Fantasy XIII-2 is an application designed to solve one of the more difficult temporal rifts in Final Fantasy: The Hands of Time. From the 5-number puzzle to the insane 13-number puzzles, it will solve and show...
6.6 MB  
Games  -  Puzzle Solver for Turnacle 1.1
This is a Puzzle Solver for the Turnacle App. It solves small and medium puzzles in seconds. Solving speed depends on the processor of the iOS device. All you need is a snapshot of the puzzle you would like to solve and the...
7.1 MB  
Productivity  -  QED Solver for iPhone (FREE) 1.81
**QED Solver Calculations have never been this fast or easy!** Have an iPad? Check out QED Solver for iPad! This is the ad-supported version of QED Solver. QED is a powerful calculation tool for science and engineering problems,...
8.1 MB  
Puzzles  -  malkriz 1
malkriz is solver for the Japanese puzzle, Griddlers. malkriz project is written as a set of simple, portable C++ classes, and supports a range of GUI front-ends.. Get malkriz at SourceForge.net. Fast, secure and free downloads from the largest...
 
Development Tools  -  Clebsch Gordan Coefficient Solver GUI 1.0
Easy to use Clebsch-Gordan coefficient solver for adding two angular momentums in Quantum Mechanics. This tool is created for my Quantum Mechanics II course offered by Dr. Thompson in Summer of 2007.[Instruction]Execute "GUI.m" script by invoking...
20.48 KB  
Video Editors  -  Mkdvd 2.43
Mkdvd is an easy-to-use front-end for several programs which allows simplifies converting most kinds of movies to a DVD which you can watch in your DVD player or give to your friends. Mkdvd is not a graphical front-end, but it automates the...
44.03 KB  
Libraries  -  Python Call Graph 0.4.0
Python Call Graph (pycallgraph) is a Python library that creates call graphs for Python programs pycallgraph is quite new. It seems to work well and I will most likely improve it in the near future!. Gravit is a free gravity simulator.
4.1 KB  
Libraries  -  FireRPC 0.9.13
libfirerpc is a library that provides an easy interface for C programs to make remote function queries via the XML RPC protocol. It supports SSL/TLS, HTTP authentication, HTTP 1.1 persistent connections and pipelining. It also supports POST data...
307.2 KB  
Puzzles  -  Somatic 1.6
Somatic project is a generic 3D puzzle solver for soma and pentomino-like puzzles. Somatic is a generic 3D puzzle solver for soma and pentomino-like puzzles. For an arbitrary set of pieces and a figure with not more than 64 cubes, it can check...
61.44 KB  
NEW DOWNLOADS IN PROGRAMMING, DATABASE TOOLS
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB  
Database Tools  -  SQLight 2.0.0.0
SQLight is an SQLite database manager tool. With this tool, you can browse, edit, delete data from local SQLite file with easy to use UI and controls. There is also a query box, if you want to perform SQL query operation on database. Key...
1.19 MB  
Database Tools  -  Valentina Studio for Mac 5.5
FREE GUI Manager for Mac, Windows, Linux to work with: * LOCAL files of Valentina DB and SQLite and * mySQL, PostgreSQL, Valentina DB Servers. This tool easy beats by features even commercial applications, especially for SQLite and...
27.97 MB  
Database Tools  -  TransXTrail 1.0
TransXTrail is the simplest database transaction controller API for Java. JTA, Springs and Tyrex has too many issues/problems. This API is intended to be used in small applications. It also helps you to build a distributed transaction system.
12.46 KB  
Database Tools  -  Castor Framework 1.0
This project contains an component to building JDO applications with Castor (http://castor.exolab.org/). It's allow easy using of mappings with building OQL queries.
59.56 KB  
Database Tools  -  DBAbstract Middleware Database Server 1.0
The DBAbstract Server is a middleware database server solution written entirely in Java. It provides connection to any type of database implementation through one JDBC partially complient driver, client-server encryption and connection pooling.
78.37 KB