1997 called and &c &c. Microsoft could give a shit about damaging "open ...

		tptacek on Oct 3, 2012 \| parent \| context \| favorite \| on: The Z3 theorem prover is now open source 1997 called and &c &c. Microsoft could give a shit about damaging "open source".