This repository has been archived by the owner on Feb 17, 2025. It is now read-only.
Substitute a custom-written JSON generator with Boost JSON #37
Labels
enhancement
New feature or request
We implemented a custom JSON generator to write the proofs in JSON format. We better substitute it with Boost JSON to simplify the code and support.
The text was updated successfully, but these errors were encountered: