Download Latest Version dlvhex-2.3.0.tar.gz (2.6 MB)
Email in envelope

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

Name Modified Size InfoDownloads / Week
Parent folder
dlvhex-scriptplugin-2.0.0.tar.gz 2012-03-12 414.4 kB
Totals: 1 Item   414.4 kB 1