遇到一个需要计算的题，逆向不出来，就想想使用正向求解，z3了解一下 什么是z3 Z3 is a theorem prover from Microsoft Research. It >is licensed under the MIT license. If you are not familiar with Z3, you can start >here. Pre-built binaries for releases are available from >here, and nightly builds from here. Z3 can be built using Visual Studio, a Makefile or >using CMake. It provides bindings for several >programming languages. See the release notes for notes on various stable >releases of Z3. 就是一个约束器，可以简单理解为解方程的东西。

上一篇写的是github的博客搭建，现在记录一下在coding上搭建 coding什么是coding呢？ 就是一个托管代码的地方，就是中国的github，因为github中国访问还是不稳定的，我也就就一起弄了，博客也都是一起更。 注册账号这个之前还是把我坑了，现在被腾讯收购，就用腾讯账号登陆就可以了，还是很方便。如图就可以建立一个coding项目了注意启用初始化项目，否者之后创建不了page服务 创建page服务在创建好的项目->代码->page服务，打开page服务。 添加ssh公钥在部署部署->公钥 里面添加一个公钥，公钥内容为你git创建的密钥对的公钥，也就是你C:\Users\youruserame.ssh下的id_rsa.pub文件，用记事本打开，粘贴到这来就好了。注意勾选授予推送权限，只有添加了这个公钥你才能通过git上传你的博客。 以上基本上服务器端就ok了Hexo现在我们来配置本地文件 Hexo主配置文件将_config.yml配置在github篇更改为如下 deploy: type: git repo: github: git@gi

什么是Hexo可能有人还不知到什么是hexo，那么我就应用一句他自己的介绍吧 A fast, simple & powerful blog framework 大概意思就是说这是一个静态的，快速的博客框架。 我为什么要用Hexo其实是我想使用github的虚拟主机服务，可以搭建自己的博客，而且可以使用github保存代码，不怕丢失，岂不美哉。 效果图是不是很舒服呢？ 我们也来整一个主要暂时使用github的服务器，coding的还没有弄好，有点麻烦，先更github的 注册并配置github只要这部分可以参考github+hexo基本搭建我呢就简单的在记录下流程 ssh密钥问题因为你在本地搭的博客，所以肯定要上传到服务器上，但是服务器怎么认为你是这个博客的管理员呢？就是使用ssh的公私钥，来区别是不是管理员，所以我们需要本地生成一对密钥，把我们的公钥写到我们github的项目设置里面去，等到我们连的时候他就会认识我们。windows一般存放在 > C:\Users\yourusername.ssh没有的话就生成一对。 本地Hexo环境这里默认都安装上以下环境 Nod