Metadata-Version: 2.1
Name: ikos
Version: 3.2
Summary: A static analyzer for C/C++ programs
Home-page: https://github.com/NASA-SW-VnV/ikos
Author: NASA
Author-email: ikos@lists.nasa.gov
License: NOSA 1.3
