further on, can be the z3 theorem prover built only with free software? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		deknos on Oct 10, 2018 \| parent \| context \| favorite \| on: Microsoft Joins the Open Invention Network further on, can be the z3 theorem prover built only with free software?

SSLy on Oct 10, 2018 [–]

Of course.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact