DLVHEX solver for HEX-programs - Browse /dlvhex-mcsieplugin 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	2013-08-19	0
1.7.1	2010-07-17	0
1.7.0	2010-06-25	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

Powerful App Monitoring Without Surprise Bills

AppSignal starts at $23/month with all features included. No overages, no hidden fees. 30-day free trial.

Tired of monitoring tools that punish you for scaling? AppSignal offers transparent, predictable pricing with every feature unlocked on every plan. Track errors, monitor performance, detect anomalies, and manage logs across Ruby, Python, Node.js, and more. Trusted by developers since 2012 with free dev-to-dev support. No credit card required to start your 30-day trial.

Try AppSignal 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
Constraint Solver
Local-search based solver of Constraint Satisfaction and Optimization Problems.
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

DLVHEX solver for HEX-programs Files

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