The license is a non-commercial one, which makes it impractical for many use cas... | Hacker News

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

		azakai on Sept 15, 2013 \| parent \| context \| favorite \| on: Z3: A high-performance theorem prover from Microso... The license is a non-commercial one, which makes it impractical for many use cases. Could be why it hasn't been ported yet (I might have done so myself, had the license been otherwise).

auggierose on Sept 17, 2013 [–]

If you want to use it for commercial purposes, there is probably a way to get a license from them for that.

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