pshved/timeout — pull request #2 by mjnaderi (2013-07-30 13:25:32+00:00)
Title: Accept real numbers as timelimit

With this change, we are able to use real numbers for timelimit.