Ethan Higa

@QinshiWang Is it that `make` in the VST repo is making VST from `coq-vst` and not the source code currently?

@mansky1 That sounds good and how do I run the VST examples for the OPAM version of VST?

Ah ok I understand, I remember though when I was trying to run `verif_sumarray.v` from the VST source that there was an error with the includes and I thought to...

Ok that all sounds good and I will try run Coq and VST from OPAM

Also, for your guys' installation instructions you guys should specify to install the OPAM version and not the Snap version of Coq

I as well would please want SarPy to support this

This file is readable with MATLAB with this reader here: https://github.com/ngageoint/MATLAB_SAR/blob/master/IO/complex/nitf/open_cnitf_reader.m. Therefore was wondering if you guys could please implement this reader in sarpy.