LICENSE
README.md
pyproject.toml
setup.cfg
setup.py
bin/satyrus
src/satyrus/__init__.py
src/satyrus/__main__.py
src/satyrus.egg-info/PKG-INFO
src/satyrus.egg-info/SOURCES.txt
src/satyrus.egg-info/dependency_links.txt
src/satyrus.egg-info/entry_points.txt
src/satyrus.egg-info/requires.txt
src/satyrus.egg-info/top_level.txt
src/satyrus/api/__init__.py
src/satyrus/api/api.py
src/satyrus/assets/__init__.py
src/satyrus/assets/banner.py
src/satyrus/assets/critical.py
src/satyrus/cli/__init__.py
src/satyrus/cli/api_cli.py
src/satyrus/cli/cli.py
src/satyrus/cli/help.py
src/satyrus/compiler/__init__.py
src/satyrus/compiler/compiler.py
src/satyrus/compiler/memory.py
src/satyrus/compiler/instructions/__init__.py
src/satyrus/compiler/instructions/def_array.py
src/satyrus/compiler/instructions/def_constant.py
src/satyrus/compiler/instructions/def_constraint.py
src/satyrus/compiler/instructions/instructions.py
src/satyrus/compiler/instructions/run_init.py
src/satyrus/compiler/instructions/run_script.py
src/satyrus/compiler/instructions/sys_config.py
src/satyrus/data/.sat-api
src/satyrus/data/.satyrus
src/satyrus/data/api/csv.py
src/satyrus/data/api/dwave.py
src/satyrus/data/api/gurobi.py
src/satyrus/data/api/qubo.py
src/satyrus/error/__init__.py
src/satyrus/parser/__init__.py
src/satyrus/parser/parser.py
src/satyrus/parser/legacy/__init__.py
src/satyrus/parser/legacy/legacy.py
src/satyrus/satlib/__init__.py
src/satyrus/satlib/main.py
src/satyrus/satlib/package.py
src/satyrus/satlib/performance.py
src/satyrus/satlib/posiform.py
src/satyrus/satlib/pythonshell.py
src/satyrus/satlib/source.py
src/satyrus/satlib/stack.py
src/satyrus/satyrus/__init__.py
src/satyrus/satyrus/satyrus.py
src/satyrus/symbols/__init__.py
src/satyrus/types/__init__.py
src/satyrus/types/array.py
src/satyrus/types/base.py
src/satyrus/types/expr.py
src/satyrus/types/number.py
src/satyrus/types/python.py
src/satyrus/types/string.py
src/satyrus/types/var.py