News for hackers. Stuff that matters.

A comment on Ask HN: As a data scientist, what should be in my toolkit in 2018?. Parent comment

Re:Ask HN: As a data scientist, what should be in my toolkit... by anewhnaccount2 on Tuesday February 20, 2018 @07:18AM (#16419769)
Out of interest, can you give an example of a problem you've solved using Z3?
[ Parent | on HN ]
Re:Ask HN: As a data scientist, what should be in my toolkit... by ms013 on Tuesday February 20, 2018 @12:34PM (#16422121)
One data problem boiled down to being an instance of the set cover problem (https://en.m.wikipedia.org/wiki/Set_cover_problem). Pretty easy to pose as an integer constraint problem, and Z3 solved it in about 20 minutes for me.
[ Parent | on HN ]