Download Latest Version upd.zip (194.6 kB)
Email in envelope

Get an email when there's a new version of Logic Lab

Home / DLV-online
Name Modified Size InfoDownloads / Week
Parent folder
dlv.cgi 2016-07-28 3.0 kB
0
README.txt 2016-07-21 1.2 kB
0
test.cgi 2016-07-21 38.2 kB
0
cgi-util-2.2.1.tar.gz 2016-07-21 27.5 kB
0
dlv-sw.txt 2016-07-20 2.6 kB
0
dlv.html 2016-07-20 2.7 kB
0
Totals: 6 Items   75.3 kB 0 
README.txt for DLV-on line web frontend v 2.0

LIST OF FILES
	test.cgi: HTML decoder binary for linux
	cgi-util-2.2.1.tar.gz: HTML decoder sources
	dlv.html: html frontend to run DLV on the web
	dlv.cgi: CGI script to execute DLV code online
	DLV: DLV binaries for linux or Mac OS X

INSTALLING ON YOUR OWN SERVER

* Download the appropriate DLV binary from http://www.dlvsystem.com/dlv/

* Download the frontend files from https://sourceforge.net/projects/logic-lab/files/?source=navbar

* Setup your Apache webserver to allow CGI execution.

* Compile the provided decoder, cgi-util-2.2.1.tar.gz to test.cgi

* dlv.cgi: 
	+ Replace the mypath text as appropriate: PATH="$PATH:/mypath/cgi-bin"
	+ Aim the decoded output of test to a temporary directory, tmp: test.cgi > /tmp/vars$$  #2>&1
	
* dlv.html: Put the dlv.cgi file into the appropriate directory. I.e. cgi-bin/dlv.cgi

* dlv.bin: Put the dlv.bin file into the appropriate directory, as dlv. I.e. cgi-bin/dlv

* test.cgi: Put the binary compiled decoder file, test.cgi, into the appropriate directory. I.e. cgi-bin/dlv.cgi

* Make sure both the .cgi files and binaries have the appropriate execution permissions, i.e. 744

* Enjoy!
Source: README.txt, updated 2016-07-21