Packages from the vendor smtlab

smtlab/json-api-bundle