package benchpress
Tool to run one or more logic programs, on a set of files, and collect the results
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.tar.gz
md5=e6d75a16321e4840e05052ee4c6bfa7f
sha512=79173afcebe9dbdeabf8e8d6cf31b757bff1021c20d3f29b618081b3601289a939f032773dd3fc939dd005596f3cebc4407c542624ec1fcb2ff6f595b9914834