cprover
json/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup json json
3 
4 # Folder json
5 
6 `json/` contains a JSON parser.