Wonderings of a SAT geek

Ganak (github), our propositional model counter, has won every single model counting competition track for the past two years.

Finally, after many months of waiting for our paper to be accepted (preliminary PDF here), Ganak2 is finally released (GitHub code, released binaries) and easily accessible and modifiable.

Imagine you are super-excited about some new technology that’s enabled by the internet, say, Google, and instead of investing in Google, i.e. buying Google stock, you start buying AT&T stock.

Probabilities of certain events are really hard to estimate sometimes.