mac
fanqiliang1
这个作者很懒,什么都没留下…
展开
-
MAC下安装mysql并使用java链接进行增删改查操作(帮助自己记忆)
申明:好多知识来自网络,我在这里更多的只是做了一个整合 1.mysql下载 MAC下mysql安装包有两种,一种是.tar.gz,另一种是.dmg,我下载的是.dmg的,我下面讲述的都是按照.dmg安装进行,至于.tar.gz我没有试过 下载地址为:http://dev.mysql.com/downloads/mysql/ 下载后解压有3个包需要安装,如图: 我是按这样的顺序进行原创 2013-12-25 01:17:16 · 1299 阅读 · 2 评论 -
Mac OSX下安装使用定理证明器Z3
我并不知道你们是否能成功,这只是我的一次尝试,希望对你们有帮助 1.http://z3.codeplex.com/wikipage?title=Building%20the%20unstable%20%28working-in-progress%29%20branch&referringTitle=Documentation 按上面的步骤进行,对于懒得看英文的我这里可以再说一下步骤原创 2014-03-11 23:33:00 · 2160 阅读 · 1 评论