Introduction

This repo is a collection of python3 scripts to run test data on several solvers and process the results.

Dependencies

Name		Name	Last commit message	Last commit date
Latest commit History 71 Commits
resultsample		resultsample
.gitignore		.gitignore
README.md		README.md
config-klee.ini		config-klee.ini
config-pp.ini		config-pp.ini
config-sage.ini		config-sage.ini
smt_analyze.py		smt_analyze.py
smt_draw_all.py		smt_draw_all.py
smt_io.py		smt_io.py
smt_run.py		smt_run.py
smt_run_auto.py		smt_run_auto.py
smt_solver.py		smt_solver.py
smt_stat.py		smt_stat.py
smt_table.py		smt_table.py
smt_tests.py		smt_tests.py
smt_type.py		smt_type.py