Calculate Linux: sci-mathematics/z3
http://old.calculate-linux.org/welcome
2023-10-09T14:52:35+03:00
Calculate Projects
/themes/calculate/images/feed_logo.png
Redmine
sci-mathematics/z3-4.12.1
http://old.calculate-linux.org/packages/sci-mathematics/z3
2023-10-09T14:52:35+03:00
<p>An efficient theorem prover</p>