STP实验截图

     最近一直研究Vine，也就是BAP的前身，源代码读了不少，但感觉收获甚少，惭愧惭愧。昨日开始研究STP求解的问题，没想到一个简单单的路径判断，STP也不能顺利解决。哎。只好手动解决。下图是实验中用到的最简单STP化简求解成功后的实验截图。纪念一下，加油！！！

    求解出相同约束条件下，不同平台生成的例子。