PyPI page
Home page
Author:
License:
GNU GENERAL PUBLIC LICENSE Version 3, 29 June 2007 Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/> Everyone is permitted to copy and distribute verbatim copies of this license do...
Summary:
The ISLa Input Specification Language and its solver.
Latest version:
1.14.4
Required dependencies:
antlr4-python3-runtime
|
datrie
|
grammar-graph
|
grammar-to-regex
|
ijson
|
packaging
|
pathos
|
proxyorderedset
|
returns
|
toml
|
wheel
|
z3-solver
Optional dependencies:
black
|
build
|
docutils
|
flake8
|
matplotlib
|
pytest
|
pytest-cov
|
pytest-html
|
pytest-profiling
|
pytest-pycharm
|
pytest-randomly
|
pytest-rerunfailures
|
pytest-xdist
|
setuptools-antlr
|
sphinx
|
sphinx-book-theme
|
tox
|
twine
Downloads last day:
186
Downloads last week:
503
Downloads last month:
1,956