cbboyan

Pinned Repositories

atpy
Python Library for PARG ATP Projects
Language:Python0 1 00
enigma
ENIGMA: Inference Guiding Machine
Language:Python0 1 00
enigmatic
Language:Python0 1 00
eprover
Language:C0 1 00
git-auto-version
Automated version tagging and ChangeLog generator for git projects.
Language:Python00
grackle
Language:Python0 1 01
Prover9
Language:C0 1 00
pyprove
Language:Python1 1 01
pysolve
Benchmarking Tools for Autometed Solvers
Language:Python00
solverpy
Python Interface for Automated Solvers
Language:Python18 1 00

cbboyan's Repositories

cbboyan/solverpy
Python Interface for Automated Solvers
Language:Python18 1 00
cbboyan/pyprove
Language:Python1 1 01
cbboyan/atpy
Python Library for PARG ATP Projects
Language:Python0 1 00
cbboyan/enigma
ENIGMA: Inference Guiding Machine
Language:Python0 1 00
cbboyan/enigmatic
Language:Python0 1 00
cbboyan/eprover
Language:C0 1 00
cbboyan/git-auto-version
Automated version tagging and ChangeLog generator for git projects.
Language:Python00
cbboyan/grackle
Language:Python0 1 01
cbboyan/Prover9
Language:C0 1 00
cbboyan/pysolve
Benchmarking Tools for Autometed Solvers
Language:Python00
cbboyan/vizar
Language:Python0 0