LICENSE
MANIFEST.in
README.rst
setup.py
vega/AST.py
vega/Exceptions.py
vega/Feature.py
vega/Functions.py
vega/Law.py
vega/Map.py
vega/Model.py
vega/Satisfiability.py
vega/Solver.py
vega/Tactic.py
vega/__init__.py
vega/helper.py
vega_solver.egg-info/PKG-INFO
vega_solver.egg-info/SOURCES.txt
vega_solver.egg-info/dependency_links.txt
vega_solver.egg-info/top_level.txt