Activity for Logic Labhttps://sourceforge.net/p/logic-lab/activity/Recent activity for Logic LabenWed, 26 Jul 2017 22:32:02 -0000Logic Lab released /TU-Wien Updater---Linux/upd.ziphttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/TU-Wien%2520Updater---Linux/upd.zip/downloadLogic LabWed, 26 Jul 2017 22:32:02 -0000https://sourceforge.net/projects/logic-lab/files/TU-Wien%20Updater---Linux/upd.zip/downloadLogic Lab released /EiterUpdater/upd.ziphttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/EiterUpdater/upd.zip/downloadLogic LabWed, 26 Jul 2017 22:31:02 -0000https://sourceforge.net/projects/logic-lab/files/EiterUpdater/upd.zip/downloadLogic Lab released /PSmodels-online/psmodels-2.26a.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/PSmodels-online/psmodels-2.26a.tar.gz/downloadLogic LabFri, 29 Jul 2016 21:30:02 -0000https://sourceforge.net/projects/logic-lab/files/PSmodels-online/psmodels-2.26a.tar.gz/downloadLogic Lab released /PSmodels-online/lparse-1.0.12.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/PSmodels-online/lparse-1.0.12.tar.gz/downloadLogic LabFri, 29 Jul 2016 21:30:02 -0000https://sourceforge.net/projects/logic-lab/files/PSmodels-online/lparse-1.0.12.tar.gz/downloadLogic Lab released /DLV-online/dlv.cgihttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/DLV-online/dlv.cgi/downloadLogic LabThu, 28 Jul 2016 07:28:02 -0000https://sourceforge.net/projects/logic-lab/files/DLV-online/dlv.cgi/downloadLogic Lab released /DLV-online/README.txthttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/DLV-online/README.txt/downloadLogic LabThu, 21 Jul 2016 02:09:35 -0000https://sourceforge.net/projects/logic-lab/files/DLV-online/README.txt/downloadLogic Lab released /DLV-online/test.cgihttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/DLV-online/test.cgi/downloadLogic LabThu, 21 Jul 2016 02:06:07 -0000https://sourceforge.net/projects/logic-lab/files/DLV-online/test.cgi/downloadLogic Lab released /DLV-online/cgi-util-2.2.1.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/DLV-online/cgi-util-2.2.1.tar.gz/downloadLogic LabThu, 21 Jul 2016 02:02:40 -0000https://sourceforge.net/projects/logic-lab/files/DLV-online/cgi-util-2.2.1.tar.gz/downloadLogic Lab released /DLV-online/dlv-sw.txthttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/DLV-online/dlv-sw.txt/downloadLogic LabWed, 20 Jul 2016 22:58:02 -0000https://sourceforge.net/projects/logic-lab/files/DLV-online/dlv-sw.txt/downloadLogic Lab released /DLV-online/dlv.htmlhttps://sourceforge.nethttps%3A//sourceforge.net/projects/logic-lab/files/DLV-online/dlv.html/downloadLogic LabWed, 20 Jul 2016 22:57:10 -0000https://sourceforge.net/projects/logic-lab/files/DLV-online/dlv.html/download