z3

Z3 Z3 est un prouveur de théorèmes de Microsoft Research. Il est sous licence MIT. Les distributions binaires Windows incluent les redistribuables du runtime C++ Si vous n'êtes pas familier avec Z3, vous pouvez commencer ici. Des binaires pré-construits pour les versions stables et nightly sont...