Resource Limited Run
ATP Systems are Evil
History
- TreeLimitedRun, in C, uses process tree hacking
- runsolver, in C++, uses process tree hacking
- BenchExec, in Python, uses cgroups
ResourceLimitedRun
In C
Uses cgroups
Compatible with runsolver
Please Clone and Test ...