.gitignore
LICENSE
MANIFEST.in
README.md
pyproject.toml
optimodel/__init__.py
optimodel/clause.py
optimodel/constraint_pool.py
optimodel/inequality.py
optimodel/lp_oracle.py
optimodel/shift_learn.py
optimodel.egg-info/PKG-INFO
optimodel.egg-info/SOURCES.txt
optimodel.egg-info/dependency_links.txt
optimodel.egg-info/entry_points.txt
optimodel.egg-info/requires.txt
optimodel.egg-info/top_level.txt
optimodel/gen/__init__.py
optimodel/gen/base.py
optimodel/tool/base.py
optimodel/tool/boolean.py
optimodel/tool/constraint_base.py
optimodel/tool/milp.py
optimodel/tool/milp_verify.py
optimodel/tool/set_files.py
tests/test_clause.py