Add PubGrub's priority queue (#221)

Pulls in https://github.com/pubgrub-rs/pubgrub/pull/104.
This commit is contained in:
Charlie Marsh 2023-10-29 14:16:02 -07:00 committed by GitHub
parent 4209e77c95
commit 2ba85bf80e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
16 changed files with 369 additions and 278 deletions

View file

@ -6,25 +6,3 @@ pygls>=1.0.1
lsprotocol>=2023.0.0a1
ruff>=0.0.274
typing_extensions
scipy
numpy
pandas<2.0.0
matplotlib>=3.0.0
scikit-learn
rich
textual
jupyter>=1.0.0,<2.0.0
transformers[torch]
django<4.0.0
sqlalchemy
psycopg2-binary
trio<0.20
trio-websocket
trio-asyncio
trio-typing
trio-protocol
fastapi
typer
pydantic
uvicorn
traitlets