Hacker News new | ask | show | jobs
by porcoda 564 days ago
Read up on smt-lib: learning how to encode problems in that is a good way to start. The Python z3 bindings are a good starting point to play with it too.