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

[ CVSweb ] [ Homepage ] [ RSS feed ]

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


Filesize: 3921.305 KB
Version History (View Complete History)
  • (2018-06-18) Updated to version: z3-4.7.1
  • (2018-04-10) Updated to version: z3-4.6.0
  • (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:

   2018-06-19 11:48:49 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Needs a c++11
   2018-06-18 02:15:11 by Remi Pointel | Files touched by this commit (2)
Log message:
update z3 to 4.7.1.
ok benoit@.
   2018-06-18 02:15:11 by Remi Pointel | Files touched by this commit (2)
Log message:
update z3 to 4.7.1.
ok benoit@.
   2018-04-10 02:17:38 by Remi Pointel | Files touched by this commit (3)
Log message:
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
   2018-04-10 02:17:38 by Remi Pointel | Files touched by this commit (3)
Log message:
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
   2018-04-10 02:17:38 by Remi Pointel | Files touched by this commit (3)
Log message:
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
   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