PyPI page
Home page
Author:
Logic and Optimization Group
Summary:
SAT-Based Combinatorial Testing in Python
Latest version:
0.7.0
Required dependencies:
lark
|
lark-cython
|
nanobind
|
optilog
|
psutil
|
pyzlic
Optional dependencies:
black
|
breathe
|
docutils
|
hypothesis
|
myst-parser
|
py-spy
|
pytest
|
sphinx-argparse-cli
|
sphinx_rtd_theme
|
sphinxcontrib-bibtex
Downloads last day:
6
Downloads last week:
21
Downloads last month:
128