marcsello 1cbff41485 Enhanced runner

2021-12-16 18:46:17 +01:00

results

Added more results

2021-12-16 18:46:04 +01:00

.gitignore

Added more stuff

2021-11-24 20:50:26 +01:00

big_chop.py

Added big chop

2021-11-24 20:01:56 +01:00

evaluation_server.py

added something

2021-11-24 21:25:55 +01:00

push_csirip.py

added something

2021-11-24 21:25:55 +01:00

requirements.txt

Added more stuff

2021-11-24 20:50:26 +01:00

run.sh

Enhanced runner

2021-12-16 18:46:17 +01:00

Description

Makes proofs

30 KiB

Languages

Python 90.7%

Shell 9.3%