摘要：在Web编程时，为了能与硬件交互，中间需要CGI来响应。一般的我们会采用Form的Action来与CGI交互，但是使用Form来交互，就必须要提交数据，要提交数据就会产生页面的刷新，如果是少量的，还可能可以接受，但如果是大量的，那就难以忍受了。那有什么办法可以改善呢？... 阅读全文

摘要：今天将CCI项目源码下载下来，整体编译时，看起来是成功了，但是打开Samples下的AnalysisToText时，却报错了。顺着提示找到Z3Wrapper进行编译，这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z... 阅读全文