jca a77a63574f Needs a c++11

2018-06-19 17:48:49 +00:00

..

pkg

update z3 to 4.6.0, builds fine with clang 6.

2018-04-10 08:17:38 +00:00

distinfo

update z3 to 4.7.1.

2018-06-18 08:15:11 +00:00

Makefile

Needs a c++11

2018-06-19 17:48:49 +00:00