PyPI page
Home page
Author:
None
License:
https://opensource.org/licenses/MIT
Summary:
Language with Refinement Types
Latest version:
4.3.1
Required dependencies:
argparse
|
configparser
|
cvc5
|
geneticengine
|
lark
|
llvmlite
|
loguru
|
multiprocess
|
numpy
|
ollama
|
pathos
|
pillow
|
psb2
|
pydantic
|
pygls
|
pytest
|
requests
|
scikit-image
|
sympy
|
textdistance
|
types-requests
|
z3-solver
|
zss
|
zstandard
Optional dependencies:
nevergrad
|
ortools
|
pytest
|
pytest-beartype
Downloads last day:
5
Downloads last week:
521
Downloads last month:
1,979