DLVHEX solver for HEX-programs - Browse Files at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
dlvhex	2014-09-24		0
dlvhex-mcsieplugin	2013-08-18		0
dlvhex-stringplugin	2012-03-12		0
dlvhex-wordnetplugin	2012-03-12		0
dlvhex-scriptplugin	2012-03-12		0
dlvhex-aggregateplugin	2012-03-12		0
dlvhex-dlplugin	2010-07-17		0
dlvhex-xpathplugin	2008-06-23		0
OldFiles	2008-06-23		0
Totals: 9 Items			0

Other Useful Business Software

Deliver secure remote access with OpenVPN.

Trusted by nearly 20,000 customers worldwide, and all major cloud providers.

OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.

Get started — no credit card required.

Sales CRM and Pipeline Management Software | Pipedrive

The easy and effective CRM for closing deals

Pipedrive’s simple interface empowers salespeople to streamline workflows and unite sales tasks in one workspace. Unlock instant sales insights with Pipedrive’s visual sales pipeline and fine-tune your strategy with robust reporting features and a personalized AI Sales Assistant.

Try it for free

Recommended Projects

Boost C++ Libraries
Free peer-reviewed portable C++ source libraries
dlvhex-semweb
Semantic Web related plugins for the DLVHEX system.
Potassco
Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.
AirSim
A simulator for drones, cars and more, built on Unreal Engine

DLVHEX solver for HEX-programs Files

Get an email when there's a new version of DLVHEX solver for HEX-programs