search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
589 stars 79 forks source link

improve typehints for solve #460

Closed rkaminsk closed 9 months ago

rkaminsk commented 9 months ago

@jorgefandinno can you give this one a try to see if mypy/completion is working as expected now.

jorgefandinno commented 9 months ago

@jorgefandinno can you give this one a try to see if mypy/completion is working as expected now.

Can I install this from conda or do I need to build it from source?

rkaminsk commented 9 months ago

You can install from the potassco/label/dev channel.

jorgefandinno commented 9 months ago

It works. Do you have plans for when this will be released?