(Non-Quandary) code examples for CSE 6341 concurrency corresponds to the Concurrency topic. smt has some fun examples that use SMT solving.