2400 · HackerTrans

6 tahun yang laludiscuss

if you want to go to the source of that story:

https://groups.google.com/a/chromium.org/forum/#!msg/blink-d...

7 tahun yang laludiscuss

do you have any pointers on modeling with soft/hard constraints and SAT solvers?

7 tahun yang laludiscuss

amazing, I tried doing this recently but I guess my modeling was not good enough and it would take hours to find the solution with a couple of dozen variables. Do you have any pointers on how to much these types of problems with a SMT/SAT solver efficiently?

2400

8 tahun yang laludiscuss

What do they use it for generally? Downloading updates?

comments