Add syntax highlighting to Tutorial py snippets

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

MIT License

106 stars 29 forks source link

Closed Hirse closed 6 years ago

Hirse commented 6 years ago

Check the preview of the Markdown file on GitHub for full effect.

sambayless commented 6 years ago

Thanks!