That's excellent (good to learn from, shame it's only non commercial; it's a ste...

		tluyben2 on Oct 3, 2012 \| parent \| context \| favorite \| on: The Z3 theorem prover is now open source That's excellent (good to learn from, shame it's only non commercial; it's a step forward though)! I was accidentally checking rise4fun for open source just last week. I hope they open source more; unfortunately the project I'm most curious about at the moment (quickcode) will not be open sourced as it is officially part of Excel now.