fanqiliang1-CSDN博客

原创 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 2115 1

原创 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 1271 2

原创菜鸟对于expr使用遇到的问题

今天在linux下使用expr 这个命令时，是死活出不来自己想要的结果，代码如下：sum=0for cccdo if [ 'expr $ccc \>= 0'=1 ] then echo -e "$ccc+\c" sum=`expr $sum + $ccc` fidone echo -e "\b=$sum"我主要目的是计

2013-07-04 10:44:09 1004

原创如何实现在任意一个目录下都可以执行想要执行的文件

这里我用mysql来举例，我的mysq执行文件安装在 /usr/bin/ 目录下命令：env 先用这个命令查看一下 PATH 这一行中是否有你想要的路径，如果有那你就可以直接在任意路径下执行你想要执行的文件，如果没有要下面的方法（注释：PATH 这一行不同路径是用“：”隔开的，就相当与两个冒号之间就是一个路径，这个我一开始不懂是什么意思，因为刚学）命令：v

2013-06-20 18:55:58 3183

原创 linux下 MYSQL安装运行的简单方法

我测试的版本为Centos 5.9先用如下命令测试一下是否已经存在mysql 命令： rpm -q mysql 如存在，则使用如下命令运行命令：service mysqld start如能运行，恭喜你，你的mysql已经运行了如不能运行则按如下方法先卸载mysql 命令为：rpm -e --nodeps mysql下面执行命令进行重新安装

2013-06-20 11:02:37 545

jd-gui for mac

jd-gui for mac,用于android反编译代码查看

2014-07-20

svn中文手册

svn中文办手册，翻译的很不错,适合任何类型人员学习SVN

2014-06-04

SYMBOLIC EXECUTION

SELECT--A FORMAL SYSTEM FOR "ESTING AND DEBUGGING PROGRAMS BY SYMBOLIC EXECUTION

2014-04-01

z3测试使用代码

本代码非常简单，只是用于对于z3的简单测试，无其他意义

2014-03-11

java工程链接mysql数据库

实现一个简单的MVC模式，用jsp实现了一个登录界面，servlet进行控制，其中com.userdao下的UserBDAO类是对mysql数据库的操作，其中包括链接数据库，以及增删改查。如果，该工程无法有错，第一，请检出mysql 数据库的名字是否对，因为这里链接是我的数据库，代码中是mydata，这个在你那里不一定存在。第二，看mysql的jar包是否引入正确

2013-12-25