README.md
setup.cfg
setup.py
tacle/__init__.py
tacle/__main__.py
tacle/accuracy.py
tacle/constraint_times.py
tacle/convert.py
tacle/detect.py
tacle/draw.py
tacle/experiment.py
tacle/export.py
tacle/generate_synthetic.py
tacle/get_constraint_stats.py
tacle/indexing.py
tacle/learn.py
tacle/no_stdout.py
tacle/playground.py
tacle/print_redundant.py
tacle/print_truth.py
tacle/runtime_rendering.py
tacle/workflow.py
tacle.egg-info/PKG-INFO
tacle.egg-info/SOURCES.txt
tacle.egg-info/dependency_links.txt
tacle.egg-info/not-zip-safe
tacle.egg-info/requires.txt
tacle.egg-info/top_level.txt
tacle/core/__init__.py
tacle/core/assignment.py
tacle/core/learning.py
tacle/core/solutions.py
tacle/core/strategy.py
tacle/core/template.py
tacle/core/virtual_template.py
tacle/engine/__init__.py
tacle/engine/aspengine.py
tacle/engine/evaluate.py
tacle/engine/idp.py
tacle/engine/minizinc.py
tacle/engine/native.py
tacle/engine/util.py
tacle/test/__init__.py
tacle/test/test_check.py
tacle/test/test_evaluate.py
tacle/test/test_learn.py
tacle/test/test_scenario.py
tacle/util/__init__.py
tacle/util/printing.py