The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.
Get an email when there's a new version of Logic Lab
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| dlv.cgi | 2016-07-28 | 3.0 kB | |
| README.txt | 2016-07-21 | 1.2 kB | |
| test.cgi | 2016-07-21 | 38.2 kB | |
| cgi-util-2.2.1.tar.gz | 2016-07-21 | 27.5 kB | |
| dlv-sw.txt | 2016-07-20 | 2.6 kB | |
| dlv.html | 2016-07-20 | 2.7 kB | |
| Totals: 6 Items | 75.3 kB | 1 | |
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!