Giters
Jan Jakubuv (cbboyan)

cbboyan

Geek Repo

4

followers

1

following

1

stars

Github PK Tool:Github PK Tool

Jan Jakubuv's repositories

solverpy

Python Interface for Automated Solvers

Language:PythonLicense:GPL-3.0Stargazers:18Issues:0Issues:0

git-auto-version

Automated version tagging and ChangeLog generator for git projects.

Language:PythonLicense:UnlicenseStargazers:0Issues:0Issues:0

eprover

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

grackle

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

vizar

Language:PythonStargazers:0Issues:0Issues:0

enigmatic

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

pyprove

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

pysolve

Benchmarking Tools for Autometed Solvers

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

enigma

ENIGMA: Inference Guiding Machine

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

atpy

Python Library for PARG ATP Projects

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Prover9

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0