Testing and benchmarking tool for logic-related programs.
sneeuwballen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Gbury
