ATPy

Python Library ATP Projects (see examples/README.Enigma.md)

Warning

This is now OBSOLETE. Please see separate enigma and grackle repositories.

Name		Name	Last commit message	Last commit date
Latest commit History 119 Commits
enigma		enigma
eprover		eprover
examples		examples
expres		expres
grackle		grackle
paramils		paramils
.gitignore		.gitignore
README.md		README.md
__init__.py		__init__.py
log.py		log.py