subtyping
Tool for checking whether a JSON schema is a subschema of another JSON schema.
Methods for extracting information from jpHMM (http://jphmm.gobics.de) output.
