summaryrefslogtreecommitdiff
path: root/impl/performance/run-bench.sh
AgeCommit message (Collapse)Author
2012-11-21Some performance stuff for the solverCarlo Zancanaro