人工智能的一个重要方法，随机SAT问题，即一种复杂的组合优化方法，算法清晰，简单，易懂，但涉及较深的数学知识，（该源码基于linux平台的C程序）

解决SAT问题的经典WalkSat算法，基于linux平台开发。-Typical WalkSat algorithm designed for solving SAT problem, developed based on Linux platform.

该资源为《人工智能》作者琼斯这本书的源码，可以再linux平台下运行。-The resources as a source of " artificial intelligence" of Jones book, can run linux platform.

LINUX平台下，当然也可以在windows平台下运行，DCGAN为卷积下的生成对抗网络，在tensorflow平台的基础上。(LINUX platform, of course, can also run on the windows platform, DCGAN is the convolution generation under adversarial networks, based on the tensorflow platform.)