DLVHEX solver for HEX-programs - Browse /dlvhex-mcsieplugin/2.0.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-2.0.0.tar.gz	2013-08-19	428.0 kB	0
Totals: 1 Item		428.0 kB	0

Other Useful Business Software

Cut Data Warehouse Costs up to 54% with BigQuery

Migrate from Snowflake, Databricks, or Redshift with free migration tools. Exabyte scale without the Exabyte price.

BigQuery delivers up to 54% lower TCO than cloud alternatives. Migrate from legacy or competing warehouses using free BigQuery Migration Service with automated SQL translation. Get serverless scale with no infrastructure to manage, compressed storage, and flexible pricing—pay per query or commit for deeper discounts. New customers get $300 in free credit.

Try BigQuery Free

Run Any Workload on Compute Engine VMs

From dev environments to AI training, choose preset or custom VMs with 1–96 vCPUs and industry-leading 99.95% uptime SLA.

Compute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.

Try Compute Engine

Recommended Projects

Hex
Hydrogen-Electron Collisions
Sokoban Solver Statistics
Statistics for the best Sokoban solver programs
DLIP: Desktop List of Installed Programs
A central database of all installable programs, descriptions, dependencies, source URLs, MD5 sums, and suggested menu listings and the software to read the database, usable by desktops and window managers to organize software and install any new software
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

DLVHEX solver for HEX-programs Files

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