small chagnes to the configs_example.yaml
Signed-off-by: Dario Mapelli <mapelli.dario@gmail.com>
Description
Description
Details
Details
- Committed
mapellidario Nov 17 2016, 12:53 PM - Parents
- R188:3b9127f21216: Fixed typo in the theorem output
- Branches
- Unknown
- Tags