Skip to content(if available)orjump to list(if available)

A Dumb Introduction to z3 using Rust

A Dumb Introduction to z3 using Rust

2 comments

·September 15, 2025

sophacles

Constraint solvers are a cool bit of magic. The article underplays how hard it is to model problems for them, but when you do have a problem that you can shape into a sat problem... it feels like cheating.