4 ms·
Out of interest, can you give an example of a problem you've solved using Z3?
by anewhnaccount2 9y ago
Out of interest, can you give an example of a problem you've solved using Z3?
- ms013 9y agoOne data problem boiled down to being an instance of the set cover problem (https://en.m.wikipedia.org/wiki/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.