News for hackers. Stuff that matters.

A comment on The Z3 Theorem Prover released under MIT license. Parent comment

Re:The Z3 Theorem Prover released under MIT license by LeonRobrotsky on Thursday March 26, 2015 @04:11PM (#9272726)
Making vague but supportive comments on HN.
[ Parent | on HN ]
Re:The Z3 Theorem Prover released under MIT license by pavpanchekha on Friday March 27, 2015 @01:06AM (#9274838)
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.
[ Parent | on HN ]
Re:The Z3 Theorem Prover released under MIT license by LeonRobrotsky on Friday March 27, 2015 @06:22AM (#9275447)
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.

[ Parent | on HN ]