SCNS-Toolkit:单小区网络综合工具包

单小区网络综合工具包 是一套用于从单细胞基因表达实验中合成布尔基因调控网络的工具。 它最初是为单细胞qPCR数据设计的，但也可以与RNA-seq一起使用。 该工具包从测量的数据中生成二进制基因表达值，可以将其视为异步布尔网络的状态空间。 然后，使用合成算法来识别基因之间的基础布尔逻辑，从而可以从中构建网络。 可以进行网络稳定状态分析和计算机干扰，以生成有关基因调控和功能的假设。 综合引擎 综合引擎用F＃编写，并通过Z3Fs DSL使用Z3定理证明器。 它可以在具有F＃3.1和Mono 3.12.1Linux上以及在具有F＃3.1和.NET 4.5的Windows上编译并运行。 Mac OS X当前未经测试。 要在带有Visual Studio 2013的Windows上构建，请打开SynthesisEngine.sln，然后选择Build -> Build Solution 。 要在L