最新的SVM源码，用于数据分类或回归，效果优于神经网络。C的源代码，请尽量在Linux或者Unix下编译。-Source code of SVM in C. SVMlight is an implementation of Support Vector Machines. It solves classification ,regression problems and ranking problems.Please compile it under Linux or Unix.

最新SAT 可满足性问题的求解的C源码，在最近的几次国际比赛中都取得了很好的结果-Compact design SAT solver for conjuctive normal form structure SAT problem. very efficient

svm light算法，这是最新的03年5.0版本的svm ligth源码,现在svm light的官方网站被屏蔽了，这是通过大力下载下来的。-svm light algorithm, which is the latest 2008 version 6.0 svm ligth source

ICCV2011国际会议中最新提出的语义SFM算法源码。-The source code of the latest semantic SFM algorithm proposed at ICCV2011 International Conference.