Hackvent day 15 write up

By Sam Brown (@_samdb_) All the code for this post can be found at: https://github.com/sam-b/z3-stuff/hackvent-15 Hackvent consists of a series of »

A bug hunters constraint solver

By Sam Brown (@_samdb_) All the code for this post can be found at: https://github.com/sam-b/z3-stuff/tree/master/a-bug-hunters-constraint-solver While reading A Bug »