Squashed commit of the following:

commit f4879b944c93a99fed8c67a9a66c47b915db7b32
Merge: 4a13477 256d53a
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 11 18:09:00 2012 +0100

    Merge branch 'svnbranch'

commit 4a134779d1757b1b3c42ae0321ba298842e5445c
Merge: cc305e9 0f4ae4f
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 11 18:07:40 2012 +0100

    Merge branch 'unsat'

commit 0f4ae4f27583cc058b74af694a08cce7a81d684a
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 11 18:05:59 2012 +0100

    implemented feature #3432982 step auto increase bounds

commit cc305e96659587133efb38d1ad3d6bc28ef15bec
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 4 19:22:54 2012 +0100

    controller does not wait anymore before sending input

commit 23934ee190e2e01cd3361efbfa14d818c14bdd99
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 4 16:38:50 2012 +0100

    oclingo now waits for first input before solving

commit eb668b432f874948a412a35b28074aa3ad13ca40
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 4 15:50:11 2012 +0100

    temporarily fixed testcases due to bug

commit 235dcd3a17656c9b09d061622ad4d040b9f86a8f
Merge: c965e69 81dfc6d
Author: Torsten Grote <t@grobox.de>
Date:   Wed Jan 4 13:38:56 2012 +0100

    Merge branch 'svnbranch'

commit c965e69f3b2c3403e57ce2a6480a44c1df415484
Merge: fdf0aa5 9ca94a7
Author: Torsten Grote <t@grobox.de>
Date:   Mon Dec 26 00:58:48 2011 +0100

    Merge branch 'svnbranch'

    Conflicts:
    	examples/oclingo/access/accessBase.lp
    	examples/oclingo/access/accessCumulative.lp
    	examples/oclingo/access/accessReground-Intended.lp
    	examples/oclingo/access/accessReground.lp
    	examples/oclingo/access/accessVolatile.lp
    	examples/oclingo/access/streams/stream01-14E.out

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5105 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: minor

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5115 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: renamed options, removed equality preprocessing bug (backprop, etc...)

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5136 3e02f596-3131-0410-8352-e04eeaec37cc


git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5150 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: added version number

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5176 3e02f596-3131-0410-8352-e04eeaec37cc
unified common parts of access encoding variants

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5189 3e02f596-3131-0410-8352-e04eeaec37cc
just adding indicater comment line to overtaking base encoding

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5204 3e02f596-3131-0410-8352-e04eeaec37cc
Merge branch 'svnbranch'

Conflicts:
	examples/oclingo/access/accessCumulative.lp
	examples/oclingo/access/accessVolatile.lp
avoiding forget statements within oclingo encodings

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5207 3e02f596-3131-0410-8352-e04eeaec37cc
avoiding forget statement within overtaking encoding

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5208 3e02f596-3131-0410-8352-e04eeaec37cc
cumulative overtaking encoding and corresponding example outputs

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5209 3e02f596-3131-0410-8352-e04eeaec37cc
volatile overtaking encoding

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5210 3e02f596-3131-0410-8352-e04eeaec37cc
overtaking encoding with regrounding and corresponding example outputs

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5211 3e02f596-3131-0410-8352-e04eeaec37cc
static overtaking encoding for comparison

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5212 3e02f596-3131-0410-8352-e04eeaec37cc
static access encoding for comparison

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5213 3e02f596-3131-0410-8352-e04eeaec37cc
comment updated in static access encoding for comparison

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5214 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: replaced Propagator with Advisor, should be more memory efficient and also faster?

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5218 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: typo

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5219 3e02f596-3131-0410-8352-e04eeaec37cc
Merge branch 'svnbranch'
added base encoding for oclingo version capable of carrying on computation after an unsat answer


git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5229 3e02f596-3131-0410-8352-e04eeaec37cc