ANN: benchpress 0.1

I’m glad to announce that benchpress is now available in 0.1.

Benchpress is a test/benchmarking tool designed for automated theorem provers (including SMT solvers and first-order provers), both to run a bunch of provers, and to display their results. Results are stored in sqlite files, one per run. The sister package benchpress-server contains a daemon that provides a web interface to examine the results; a read-only live instance can be seen here.

These are early days for benchpress but it could be of interest to the sub-community of logicians here :slightly_smiling_face:

1 Like