mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-03 01:23:49 +00:00
Code Issues Releases Activity
391,587 Commits 45 Branches 100 Tags 3.3 GiB
9a3ec65015
Commit Graph

2 Commits

Author SHA1 Message Date
Mark Felder
f0a71b7ace Port improvements and modernization 
This is a no-op

Submitted by:	jbeich
 2015-09-23 15:09:09 +00:00
Mark Felder
3469f10855 Z3 is a high-performance theorem prover developed 
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3

PR:		202136
Submitted by:	6yearold@gmail.com
 2015-09-22 15:43:18 +00:00