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>
Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000)
commit3d1c28dcdc3db9b376fa678615b5b75493e4ff3c
treea2197134b766c8a43ec717b288ba066ee796d507
parent2dee74a238135104bfaa2c18c6ba759fdb927ae8
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