PyPI page
Author:
Alcides Fonseca
License:
https://opensource.org/licenses/MIT
Summary:
Language with Refinement Types
Latest version:
4.10.1
Required dependencies:
cvc5
|
geneticengine
|
lark
|
llvmlite
|
loguru
|
multiprocess
|
numpy
|
ollama
|
pandas
|
pathos
|
pillow
|
psb2
|
pydantic
|
pygls
|
requests
|
scikit-image
|
scikit-learn
|
sympy
|
textdistance
|
types-requests
|
z3-solver
|
zss
|
zstandard
Optional dependencies:
nevergrad
|
ortools
|
pytest
|
pytest-beartype
Downloads last day:
7
Downloads last week:
68
Downloads last month:
958
7-day smoothing