Transform XML traces generated by nuXmv or NuSMV into a html table
Primary LanguageClojureMIT LicenseMIT