Abdul Rahman Sibahi | A Dumb Introduction to z3
ar-ms.me · 3,489 words · saved by 1 readers
Exploring the world of constraint solvers with very simple examples.
Recently I have come across a nice article: Many Hard Leetcode Problems are Easy Constraint Problems, and I figured, I really should learn how to use these things! What else do I really have to do? I have had use for solvers (or as they are commonly called: theorem provers) In a previous article, but then I tried to prove the things with good old algorithms. I looked at z3 at the time, but found the whole concept a bit too opaque. Now however, it seemed a bit easier to get into. To be clear, as of writing these words, I have only been looking at z3 reading material for two days. I am in no…
saved by
related reading
- Z3 Internals (Draft)z3prover.github.io
- Who Runs Your Rust Future? Hands-On Intro to Async Rust | AIBodhaibodh.com
- A half-hour to learn Rustfasterthanli.me
- how I think when I think about programming - alice mazalicemaz.com
- Solving regex crosswords with Z3 - Made of Bugsblog.nelhage.com
- Many Hard Leetcode Problems are Easy Constraint Problems • Buttondownbuttondown.com
- Programming a Guessing Game - The Rust Programming Languagedoc.rust-lang.org
- (Re)writing an interpreter in Rust – Danny van Kootendannyvankooten.com
- Rust Language Cheat Sheetcheats.rs
- Assorted thoughts on zig (and rust)scattered-thoughts.net
- Working with strings in Rustfasterthanli.me
- Integer programming easily encloses horsedynomight.substack.com