Commit [r8371] Maximize Restore History

- updated docstring for solve

rkaminski 2014-04-02

changed /trunk/gringo/libgringo/src/python.cc
/trunk/gringo/libgringo/src/python.cc Diff Switch to side-by-side view
Loading...