rename async keyword in python API
authorRoland Kaminski <kaminski@cs.uni-potsdam.de>
Sat, 3 Nov 2018 21:34:57 +0000 (22:34 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sat, 2 Mar 2019 07:49:10 +0000 (07:49 +0000)
commitb51af894fe1f88b2baa68f594324bae7d3bb1ebc
tree78c379528f8d233af4cd3cb802d26f96fc2791c4
parentd8829db810235c74fb76fce39aaa4e50a9893a1a
rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch
app/clingo/tests/python/assumptions4.lp
app/clingo/tests/python/cancel.lp
app/clingo/tests/python/interrupt.lp
app/clingo/tests/python/test.lp
app/clingo/tests/run.py
examples/clingo/controller-async/controller.py
examples/clingo/controller-processes/client.py
examples/clingo/controller-threads/controller.py
examples/clingo/robots/visualize.py
examples/clingo/solve-async/solve-async-py.lp
libpyclingo/pyclingo.cc