PyPI page
Home page
Author:
rainoftime
License:
MIT
Summary:
A library for various automated reasoning tasks including SMT solving, model counting, and symbolic computation.
Latest version:
0.2.0
Required dependencies:
frozendict
|
hypothesis
|
lark
|
loguru
|
multipledispatch
|
networkx
|
numpy
|
openai
|
psutil
|
pyapproxmc
|
pyparsing
|
pyro4
|
pysmt
|
pytest-cov
|
python-sat
|
requests
|
six
|
sympy
|
tiktoken
|
toolz
|
tqdm
|
unified-planning
|
up-pyperplan
|
z3-solver
Optional dependencies:
black
|
build
|
flake8
|
isort
|
mypy
|
pre-commit
|
pytest
|
pytest-cov
|
sphinx
|
sphinx-rtd-theme
|
twine
Downloads last day:
4
Downloads last week:
19
Downloads last month:
48
7-day smoothing