What? Lewd? On main? No.. I'm just teaching everyone how to use constraint solvers. 
https://twitter.com/oe1cxw/status/1247466478653378562 …
$16,000 
... and now a few persons in my follows are going to write an SMT encoding for the knapsack problem. 
Have fun with that info and don't judge.
... and now a few persons in my follows are going to write an SMT encoding for the knapsack problem. Have fun with that info and don't judge.
