News for hackers. Stuff that matters.

A comment on Microsoft Joins the Open Invention Network. Parent comment

Re:Microsoft Joins the Open Invention Network by deknos on Wednesday October 10, 2018 @12:51PM (#18186645)
further on, can be the z3 theorem prover built only with free software?
[ Parent | on HN ]
Re:Microsoft Joins the Open Invention Network by SSLy on Wednesday October 10, 2018 @03:03PM (#18187901)
Of course.
[ Parent | on HN ]