Home My Page Projects Proof Manager
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project description

Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.

Latest File Releases

This project has not released any files.

Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (1 public mailing list)
SCM Repository (Subversion: 64 updates, 3 adds)
Latest News
No News Found