DLVHEX solver for HEX-programs - Browse /dlvhex-scriptplugin/1.7.1 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
Parent folder
dlvhex-scriptplugin-1.7.1.tar.gz	2010-07-18	381.6 kB	0
Totals: 1 Item		381.6 kB	0

Other Useful Business Software

Auth0 for AI Agents now in GA

Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.

Start building today

Free and Open Source HR Software

OrangeHRM provides a world-class HRIS experience and offers everything you and your team need to be that HR hero you know that you are.

Give your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.

Learn More

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
GNU Prolog
The GNU Prolog native compiler
Constraint Solver
Local-search based solver of Constraint Satisfaction and Optimization Problems.
ferite programming language
ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.

DLVHEX solver for HEX-programs Files

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