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