Pinned Repositories
cbboyan's Repositories
cbboyan/solverpy
Python Interface for Automated Solvers
cbboyan/pyprove
cbboyan/atpy
Python Library for PARG ATP Projects
cbboyan/enigma
ENIGMA: Inference Guiding Machine
cbboyan/enigmatic
cbboyan/eprover
cbboyan/git-auto-version
Automated version tagging and ChangeLog generator for git projects.
cbboyan/grackle
cbboyan/Prover9
cbboyan/pysolve
Benchmarking Tools for Autometed Solvers
cbboyan/vizar