DLVHEX solver for HEX-programs - Browse /dlvhex-dlplugin 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	InfoDownloads / Week
Parent folder
1.7.1	2010-07-17	0
1.7.0	2010-06-22	0
0.6.0	2008-06-23	0
0.5.0beta1	2008-06-23	0
0.5.0	2008-06-23	0
0.4.0	2008-06-23	0
0.3.1	2008-06-23	0
0.3.0	2008-06-23	0
0.2.0	2008-06-23	0
0.1	2008-06-23	0
Totals: 10 Items		0

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Hex
Hydrogen-Electron Collisions
eXist-db
eXist-db is a feature rich Open Source native XML database
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.
Z-WAMP Server Pack
A lightweight zero-install Web server package that runs on Windows. The project aims to provide the latest production/stable versions of Apache, MySQL, PHP, Adminer, MongoDB, MemCached, SQLite, eAccelerator, and Alternative PHP Cache (APC) to boost server performance.
Clipper/Xbase compatible compiler
Clipper/XBase compatible compiler with initial support other xBase dialects. Multitasking, OOP,SIX/Comix, SQL and ODBC drivers,a C-API for third-party developers, a few wrappers for popular libraries (such as BZIP, GZIP, GD, Crypto, and Fcgi), ....

DLVHEX solver for HEX-programs Files