log utils.py @ 10:c5e7162fb8ea

age author description
Tue, 22 Apr 2014 00:55:19 +0100 Carl Bussey * Added STL and LTL functionality