https://siedentop.dev/tags/smt/ Recent content in SMT on Posts about Software Development Hugo en-us Thu, 19 May 2022 00:15:35 -0700 https://siedentop.dev/posts/rust-z3/ Thu, 19 May 2022 00:15:35 -0700 https://siedentop.dev/posts/rust-z3/ <h1 id="a-translation-of-a-z3-example-from-python-to-rust">A translation of a Z3 example from Python to Rust</h1> <p>This post is a translation of a Z3 example from Python to Rust. It is not very inspired: Please read the original Python article <a href="https://www.javiercasas.com/articles/sat-solver-scheduler">1</a> for more background. However, at the bottom of this page, I provide a few more links and resources with a few notes.</p> <p>The Z3 crate does not have any examples, so it makes it a bit tough to get started. I found one <a href="https://www.javiercasas.com/articles/sat-solver-scheduler">article</a> that explains how to use Z3 for scheduling tasks in Python.</p>