z3

Z3 Z3 es un demostrador de teoremas de Microsoft Research. Está licenciado bajo la licencia MIT. Las distribuciones binarias de Windows incluyen redistribuibles del runtime de C++ Si no está familiarizado con Z3, puede comenzar aquí. Los binarios precompilados para versiones estables y nocturnas...