Commit [r8288] Maximize Restore History

- wrapped startSolveAsync in python

(lua still missing)

rkaminski 2014-03-17

added /trunk/gringo/examples/itersolve
added /trunk/gringo/examples/itersolve/README
added /trunk/gringo/examples/itersolve/itersolve-py.lp
added /trunk/gringo/examples/itersolve/program.lp
changed /trunk/gringo/app/clingo/src/clingo_app.cc
changed /trunk/gringo/app/clingo/src/clingo_app.hh
changed /trunk/gringo/app/clingo/src/grounder.cc
changed /trunk/gringo/app/clingo/src/grounder.hh
changed /trunk/gringo/app/gringo/main.cc
changed /trunk/gringo/libgringo/gringo/control.hh
changed /trunk/gringo/libgringo/src/python.cc
/trunk/gringo/examples/itersolve/README Diff Switch to side-by-side view
Loading...
/trunk/gringo/examples/itersolve/itersolve-py.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/examples/itersolve/program.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/clingo_app.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/clingo_app.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/grounder.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/clingo/src/grounder.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/gringo/main.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/gringo/control.hh Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/python.cc Diff Switch to side-by-side view
Loading...