Metadata-Version: 2.1
Name: logdecomp
Version: 0.2
Summary: UNKNOWN
Home-page: https://github.com/ltl-uva/logdecomp/
Author: Vlad Niculae
Author-email: vlad@vene.ro
License: UNKNOWN
Platform: UNKNOWN
License-File: LICENSE

UNKNOWN

