Small utility to measure time and memory consumption on POSIX OSes.Īlternatively one can use time utility with an environment vairable setting TIME="Max RSS: %Mkb\nUser: %Us\nKernel: %Ss\nElapsed: %es" or similar. Utility that converts files from version 3.2 to 3.4, Implementation of DBM, an efficient data structure for representing Uppaal Timed Automata Parser Library (libutap).ĭistributed separately under the LGPL license. You should use the 64-bit version if it is available for your platform and if you 32-bit Windows and Linux, version 4.1.19.32-bit Windows and Linux, version 4.1.24ĭownload (Catalina users may need a workaround). 64-bit Windows and Linux, version 4.1.25-5.This is the current development release of the academic version. 32-bit Windows and Linux, version 4.0.15.This is the current official stable release of the academic version. The following releases and utilities are available for free onlyįor academic institutions that deliver academic degrees: Research agencies, or any other non-academic use requires a license ofįor information about commercial licenses and support, please visit Note that, any use at companies, private use, use at national The work or the worker may not be contracted by any non-academic Or students at institutions delivering academic degrees. AnyĪs academic use, we consider only work performed by researchers
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |