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 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 ]

There are no comments on this comment yet.