search

mvcisback / magnumSTL

BSD 3-Clause "New" or "Revised" License
0 stars 4 forks source link

Reimplement CEGIS loop #8

Open mvcisback opened 8 years ago

mvcisback commented 8 years ago

Hacked together for class project. Likely doesn't work with recent changes.

mvcisback commented 7 years ago

python 3.6's async coroutines seem like just the thing.