HostedRedmine.com has moved to the Planio platform. All logins and passwords remained the same. All users will be able to login and use Redmine just as before. Read more...
- Email: email@example.com
- Registered on: 2012-09-10
- Last connection: 2016-09-01
see also email conversation with Cesare,Pascal Jul 28-29, 2013 Feature #154551: add resource limit commandAdd a command to set some generic resource limit (for each of the next check-sat commands, until changed by a new occurrence of the command).
See suggestion below by Martin Brain.
The need is for a rep...
Also available in: Atom