DLVHEX solver for HEX-programs - Browse /dlvhex-mcsieplugin/1.7.0 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-mcsieplugin-1.7.0.tar.gz	2010-06-25	385.7 kB	0
Totals: 1 Item		385.7 kB	0

Other Useful Business Software

$300 in Free Credit Across 150+ Cloud Services

VMs, containers, AI, databases, storage | build anything. No commitment to start.

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

Start Building Free

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start 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
Hex
Package manager for the Erlang ecosystem
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

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