Commit [r8475] Maximize Restore History

- added addClause method

rkaminski 2014-06-07

added /trunk/gringo/examples/addclause
added /trunk/gringo/examples/addclause/addclause.lp
changed /trunk/gringo/app/shared/include/clingocontrol.hh
changed /trunk/gringo/libgringo/gringo/control.hh
changed /trunk/gringo/libgringo/src/python.cc
/trunk/gringo/examples/addclause/addclause.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/app/shared/include/clingocontrol.hh 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...