gentoo.mahdi.cz
dev-python
:BenchExec
A Framework for Reliable Benchmarking and Resource Measurement.
https://github.com/sosy-lab/benchexec/
BenchExec-3.21
Apache-2.0 AND BSD-3-Clause AND CC-BY-4.0 AND MIT AND ISC AND LicenseRef-BSD-3-Clause-CMU
download
~amd64 ~x86
pypi