Created SVN directory structure

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@1 ae4977aa-0cbe-11e2-8036-c3716e694b28
Initial commit

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@2 ae4977aa-0cbe-11e2-8036-c3716e694b28
Added .gitignore file

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@3 ae4977aa-0cbe-11e2-8036-c3716e694b28
Added cmake build system

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@4 ae4977aa-0cbe-11e2-8036-c3716e694b28
Now distinguishing between decision and counting/enumeration problems. Separate ASP program for decision variant. Fixed a bug when there are no child tuples for an exchange node.

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@5 ae4977aa-0cbe-11e2-8036-c3716e694b28
Exit code for decision problem

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@6 ae4977aa-0cbe-11e2-8036-c3716e694b28
Added missing define for debug build; Fixed error resulting from wrong libclasp usage

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@7 ae4977aa-0cbe-11e2-8036-c3716e694b28
Added script that verifies whether SAT output corresponds to MiniSat's

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@8 ae4977aa-0cbe-11e2-8036-c3716e694b28
Cosmetics in exchange_decision.lp

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@9 ae4977aa-0cbe-11e2-8036-c3716e694b28
Added stats output and made changes to decision encoding

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@10 ae4977aa-0cbe-11e2-8036-c3716e694b28
Now with nice progress report

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@11 ae4977aa-0cbe-11e2-8036-c3716e694b28
Better interrupt handlung in verify.sh

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@12 ae4977aa-0cbe-11e2-8036-c3716e694b28
Join node now takes advantage of tuple ordering (sort merge join), subsequently the former set m in Tuple is now separated into atoms and rules

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@13 ae4977aa-0cbe-11e2-8036-c3716e694b28
Using clasp 2.0.4

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@14 ae4977aa-0cbe-11e2-8036-c3716e694b28
Great speedups in exchange.lp

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@15 ae4977aa-0cbe-11e2-8036-c3716e694b28
Cosmetics in exchange_decision.lp

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@16 ae4977aa-0cbe-11e2-8036-c3716e694b28
Note about defines in build system

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@17 ae4977aa-0cbe-11e2-8036-c3716e694b28
Included algorithm for normalized TDs

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@18 ae4977aa-0cbe-11e2-8036-c3716e694b28
Print number of child tuples in progress report

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@19 ae4977aa-0cbe-11e2-8036-c3716e694b28
Progress bar now shows introductions/removals. Added some instance generators and benchmark scripts

git-svn-id: https://sorr.dbai.tuwien.ac.at/repos/dflat-source/trunk@20 ae4977aa-0cbe-11e2-8036-c3716e694b28