2400
Joined 13 years ago
Karma
4
Submissions
7
Member since
Jun 9
Recent submissions
Comment · 6 years ago
Comment · 7 years ago
do you have any pointers on modeling with soft/hard constraints and SAT solvers?
Comment · 7 years ago
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?
Comment · 8 years ago
What do they use it for generally? Downloading updates?
Comment · 11 years ago
sorry, but it's impossible to read this site.
Comment · 11 years ago
Top Gear did this experiment and it worked.
Comment · 13 years ago
wow I just nostalgia'd really hard now.
https://groups.google.com/a/chromium.org/forum/#!msg/blink-d...