./math/z3 [z3 theorem prover]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 4.5.0, Package name: z3-4.5.0
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
The Z3 Theorem Prover.


Filesize: 3489.937 KB
Version History (View Complete History)
  • (2017-02-13) Package added to openports.se, version z3-4.5.0 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2017-07-26 16:45:35 by Stuart Henderson | Files touched by this commit (937)
Log message:
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
   2017-07-16 13:19:06 by Marc Espie | Files touched by this commit (880)
Log message:
use COMPILER_LIBCXX where applicable
   2017-04-10 05:46:23 by Stuart Henderson | Files touched by this commit (276)
Log message:
use LIBCXX