Commit [r8461] Maximize Restore History

- implemented new config interface in lua

rkaminski 2014-06-03

added /trunk/gringo/examples/setconf
removed /trunk/gringo/examples/misc/setconf.lp
changed /trunk/gringo/app/clingo/tests/lua/setconfig.lp
changed /trunk/gringo/libgringo/src/lua.cc
changed /trunk/gringo/libgringo/src/python.cc
copied /trunk/gringo/examples/misc/setconf.lp -> /trunk/gringo/examples/setconf/setconf-lua.lp
copied /trunk/gringo/examples/misc/setconf.lp -> /trunk/gringo/examples/setconf/setconf-py.lp
/trunk/gringo/app/clingo/tests/lua/setconfig.lp Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/lua.cc Diff Switch to side-by-side view
Loading...
/trunk/gringo/libgringo/src/python.cc Diff Switch to side-by-side view
Loading...