DLVHEX solver for HEX-programs - Browse /dlvhex-dlplugin/0.2.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-racerplugin-0.2.0.tar.gz	2008-06-23	469.6 kB	0
Totals: 1 Item		469.6 kB	0

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

Try Free

Recommended Projects

Sokoban Solver Statistics
Statistics for the best Sokoban solver programs
Hex-editor JustHex
JustHex is a little and useful hex editor. It is provided with sources (compiled using Delphi 7)
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

DLVHEX solver for HEX-programs Files