PyPI page
Home page
Author:
None
Summary:
Parser for the Universal Variability Language (UVL) with conversion support to CNF/SMT
Latest version:
0.3.1
Required dependencies:
lark
|
python-sat
Optional dependencies:
antlr4-python3-runtime
|
pytest
|
z3-solver
Downloads last day:
10
Downloads last week:
41
Downloads last month:
301