PyPI page
Home page
Author:
Hanno Becker, Amin Abdulrahman, Matthias Kannwischer, Fabien Klein
Summary:
SLOTHY: Assembly superoptimization via constraint solving
Latest version:
0.2.2
Required dependencies:
ortools
|
sympy
|
unicorn
Optional dependencies:
black
|
flake8
|
myst-parser
|
pydoclint
|
sphinx
|
sphinx-autoapi
|
sphinx-autobuild
|
sphinx-autodoc2
|
sphinx-mdinclude
|
sphinx-rtd-theme
Downloads last day:
0
Downloads last week:
39
Downloads last month:
44
7-day smoothing