.gitignore
MANIFEST.in
TODO
__init__.py
demo.py
setup.py
bonesis/__init__.py
bonesis/asp_encoding.py
bonesis/debug.py
bonesis/domains.py
bonesis/language.py
bonesis/manager.py
bonesis/playground.py
bonesis/utils.py
bonesis/views.py
bonesis-asp/attractor.asp
bonesis-asp/bn-domain.asp
bonesis-asp/canonical-bn.asp
bonesis-asp/complete-cfg.asp
bonesis-asp/diversity.asp
bonesis-asp/eval.asp
bonesis-asp/fixed-ig.asp
bonesis-asp/fixpoint.asp
bonesis-asp/nonreach.asp
bonesis-asp/reach.asp
bonesis-asp/show-bn.asp
bonesis-asp/trapspace.asp
bonesis.egg-info/PKG-INFO
bonesis.egg-info/SOURCES.txt
bonesis.egg-info/dependency_links.txt
bonesis.egg-info/requires.txt
bonesis.egg-info/top_level.txt
bonesis0/__init__.py
bonesis0/asp_encoding.py
bonesis0/diversity.py
bonesis0/proxy_control.py
bonesis0/utils.py
examples/dedekind.py
examples/diversity.py
tests/pkn.py
tests/settings.py