3 ms·further on, can be the z3 theorem prover built only with free software?by deknos 8y agofurther on, can be the z3 theorem prover built only with free software?SSLy 8y agoOf course.