PyPI page
Home page
Author:
Logic and Optimization Group
Summary:
SAT-Based Combinatorial Testing in Python
Latest version:
0.7.1
Required dependencies:
lark
|
lark-cython
|
nanobind
|
optilog
|
psutil
|
pyzlic
Downloads last day:
24
Downloads last week:
36
Downloads last month:
578