Showing page 1 of 1.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.1 weekly downloads
A python library based on PIL for creating Chart. The idea is to create some classes based on PIL that you can use for creating Chart in jpeg/gif or other format.1 weekly downloads
A light python library for the writing of pdf documents. Written purely in python.0 weekly downloads