The timeout-with-results package

[Tags:lgpl, library]

Evaluates a computation withing a given timeout limit, alowing it to return intermediate results. Useful for AI algorithms that should return the best result within a given wallclock time limit.


Versions 0.1, 0.1.1, 0.2
Dependencies base (==4.*), mtl (>=2), parallel (>=3) [details]
License LGPL
Copyright (c) 2012 Petr Pudlák
Author Petr Pudlák
Maintainer Petr Pudlák <>
Stability Experimental
Category Concurrency
Home page
Bug tracker
Source repository head: git clone git://
Uploaded Fri Dec 7 16:40:01 UTC 2012 by PetrPudlak
Distributions NixOS:0.2
Downloads 703 total (6 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees