Out of interest, can you give an example of a problem you've solved using Z3? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		anewhnaccount2 on Feb 20, 2018 \| parent \| context \| favorite \| on: Ask HN: As a data scientist, what should be in my ... Out of interest, can you give an example of a problem you've solved using Z3?

ms013 on Feb 20, 2018 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact