microsoft/z3guide

View on GitHub

Tutorials and courses for Z3

Stars: 123
Forks: 34
Open beginner issues: 0
Indexed issues: 13
Avg merge: 3h 48m
Merged PRs (30d): 4

Dominant language: JavaScript
License: MIT
Last GitHub push: Aug 23, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

13 open issues indexed

Add an example that illustrates set_on_model for Optimize Open

microsoft/z3guide#207 · 1 comment · 1 reaction · 1 assignee · Opened Sep 19, 2025
subtype example backwards? Open

Difficulty 1/5 Under an hour Newbie friendliness 35/100

microsoft/z3guide#197 · Opened Jun 2, 2025
updating docusaurus to 3.0 Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

microsoft/z3guide#186 · 1 comment · Opened Mar 10, 2025
Probably wrong definition of subtyping Open

Difficulty 1/5 Under an hour Newbie friendliness 50/100

microsoft/z3guide#175 · Opened Jul 19, 2024
syntax highlighting of smt samples in readonly blocks Open

enhancement

microsoft/z3guide#141 · 1 assignee · Opened Sep 1, 2022
C# examples Open

content enhancement

Difficulty 3/5 1-2 days Newbie friendliness 38/100

microsoft/z3guide#140 · 1 comment · Opened Aug 30, 2022
highlighting lines with error with squigglies Open

enhancement

microsoft/z3guide#104 · 1 comment · 1 assignee · Opened Aug 15, 2022
analytics through Azure Open

future

microsoft/z3guide#101 · 1 assignee · Opened Aug 15, 2022
Automate sidebar generation for SMTLIB content Open

bug content

microsoft/z3guide#83 · 1 comment · 1 assignee · Opened Aug 5, 2022
Security concerns with z3-js boxes Open

question

Difficulty 5/5 Over a week Newbie friendliness 25/100

microsoft/z3guide#62 · 2 comments · Opened Jul 22, 2022
screen reader support Open

a11y future

microsoft/z3guide#48 · 1 assignee · Opened Jul 14, 2022
keyboard navigation Open

a11y future

microsoft/z3guide#47 · 1 comment · 1 assignee · Opened Jul 14, 2022
Automating Reference Documentation publication Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

microsoft/z3guide#37 · 4 comments · Opened Jul 7, 2022

microsoft/z3guide

Get new issues in your inbox