DLVHEX solver for HEX-programs - Browse /dlvhex-wordnetplugin 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
2.0.0	2012-03-12	0
1.7.0	2010-06-22	0
0.1.0	2008-06-23	0
Totals: 3 Items		0

Other Useful Business Software

Go From Idea to Deployed AI App Fast

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

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

Try Free

Cut Your Data Warehouse Bill by 54%

Migrate from Snowflake, Redshift, or Databricks with free tools. No SQL rewrites.

BigQuery delivers 54% lower TCO with serverless scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Try Free

Recommended Projects

Sokoban Solver Statistics
Statistics for the best Sokoban solver programs
jason
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
McCarthy programming language
McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
GNU Prolog
The GNU Prolog native compiler
Constraint Solver
Local-search based solver of Constraint Satisfaction and Optimization Problems.

DLVHEX solver for HEX-programs Files