I had a long day at work, and didn't see this. I posted another comment (couldn'... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pavpanchekha on March 27, 2015 | parent | context | favorite | on: The Z3 Theorem Prover released under MIT license

I had a long day at work, and didn't see this. I posted another comment (couldn't edit; too late). You may be sure that I am MS shill, cleverly astroturfing their now-free product.

LeonRobrotsky on March 27, 2015 [–]

Sorry- my remark wasn't intended as a shill accusation, but re-reading it now, I see it.

It was tongue-in-cheek, I enjoyed the positivity in your original comment.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact