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

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

Recommended Projects

eXist-db
eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist
odaba
ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link...
utPLSQL
Our objective: to provide a unit testing framework for PL/SQL developers modeled on the Junit and Xunit frameworks. Based on the Extreme Programming methodology, utPLSQL makes it easy for developers to set up and execute unit tests of packages. Active development of this project is now on GitHub
Vespa
Make AI-driven decisions using your data, in real-time. At any scale, with unbeatable performance. Vespa is a full-featured text search engine and supports both regular text search and fast approximate vector search (ANN). This makes it easy to create high-performing search applications at any...
SqlCommand
Ejecutar comandos SQL, y exportar el contenido de bases de datos a formato html para poder navergar por ellas. Enfocado para uso academico, para aprender a usar y practicar con SQL y poder navegar por la bases de datos para ver los resultados.

DLVHEX solver for HEX-programs Files

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