SAT编译器版本：2.9
pyCryptoMS的Python项目详细描述
**PyCryptoMS是CADBIOM软件的库。
它使用麻省理工学院许可的SAT解算器[CryptoMiniSat]（http://www.msoos.org/cryptominiSat2/）。
CADBIOM是一个开源建模软件。基于保护性转换语义，
它提供了一个正式的框架来帮助建立生物系统的模型，例如细胞
信号网络。**
CADBIOM图形界面和模型表示的快照在
[屏幕截图部分]（http://cadbiom.genouest.org/cw_screenshots.html）中提供。
以获取有关CADBIOM利用的更多信息，转到
[支持部分]（http://cadbiom.genouest.org/cw_support.html）。
最后，要了解有关项目和负责人的更多信息，
[关于部分]（http://cadbiom.genouest.org/cw_about.html）将为您提供帮助。
它使用麻省理工学院许可的SAT解算器[CryptoMiniSat]（http://www.msoos.org/cryptominiSat2/）。
CADBIOM是一个开源建模软件。基于保护性转换语义，
它提供了一个正式的框架来帮助建立生物系统的模型，例如细胞
信号网络。**
CADBIOM图形界面和模型表示的快照在
[屏幕截图部分]（http://cadbiom.genouest.org/cw_screenshots.html）中提供。
以获取有关CADBIOM利用的更多信息，转到
[支持部分]（http://cadbiom.genouest.org/cw_support.html）。
最后，要了解有关项目和负责人的更多信息，
[关于部分]（http://cadbiom.genouest.org/cw_about.html）将为您提供帮助。
欢迎加入QQ群-->： 979659372
