Painless NP-complete problems: an embedded DSL for SMT solving | Heykuki News