search

microsoft / z3guide

Tutorials and courses for Z3
https://microsoft.github.io/z3guide
MIT License
62 stars 23 forks source link

Automate sidebar generation for SMTLIB content #83

Open rlisahuang opened 2 years ago

rlisahuang commented 2 years ago

https://github.com/microsoft/z3guide/blob/d70efa36af36ec5c24384a2108a8378af4c62584/website/sidebars/smtlibSidebars.js#L17

Uncomment this line and remove the rest of the code.

pelikhan commented 2 years ago

@NikolajBjorner your call if you want automated table of content or manual updates (and potential issues)