最新版本发布日期：Jul 23, 2019

lstar自动机学习算法的python实现。 项目维护者: mvcisback |

最新版本发布日期：Jul 18, 2019

一个用于操作顺序门和逆变门的python库。 项目维护者: mvcisback |

最新版本发布日期：Jul 24, 2019

一个用于操作顺序门和逆变门的python库。 项目维护者: mvcisback |

最新版本发布日期：Jul 29, 2019

用于建模dfas的python库。 项目维护者: mvcisback |

最新版本发布日期：Jul 24, 2019

用于在时序电路aig和dfa之间移动的库。 项目维护者: mvcisback |

最新版本发布日期：Jul 24, 2019

生成（p）as t（t）ense（l）inear（t）emporal（l）ogic监视器作为aiger电路的库。 项目维护者: mvcisback |

最新版本发布日期：Jul 24, 2019

要在aiger和cnf之间转换的python库 项目维护者: mvcisback |

最新版本发布日期：Jul 24, 2019

aigs和sat解算器之间的pythonic接口。 项目维护者: mvcisback |

最新版本发布日期：Jul 26, 2019

用于操作无限树的python库。 项目维护者: mvcisback |

最新版本发布日期：Mar 5, 2019

这是Bdd Bridge。 项目维护者: mvcisback |

最新版本发布日期：Sep 12, 2018

py aiger的扩展，提供先进的工具支持，包括sat和qbf求解器。 项目维护者: mvcisback |

最新版本发布日期：Jan 19, 2019

python库，用于使用参数化规范在机器学习中嵌入特定领域的知识。 项目维护者: mvcisback |

最新版本发布日期：Sep 24, 2018

用于建模和操作离散时间信号的领域特定语言。 项目维护者: mvcisback |

最新版本发布日期：Feb 12, 2019

用于操作和评估度量时态逻辑的库。 项目维护者: mvcisback |

最新版本发布日期：Jan 19, 2019

计算单调阈值曲面并计算曲面之间的距离。 项目维护者: mvcisback |

最新版本发布日期：Mar 7, 2019

用于创建编码离散电路的库 项目维护者: mvcisback |

最新版本发布日期：Nov 13, 2020

围绕二进制决策图的Python抽象实现多值决策图。 项目维护者: mvcisback |

最新版本发布日期：Jan 22, 2020

用于折叠（或归约）在归约有序二元决策图上的库。 项目维护者: mvcisback |

最新版本发布日期：Oct 27, 2020

操作概率自动机的Python库。 项目维护者: mvcisback |

最新版本发布日期：Nov 25, 2020

将网格世界建模为AIGER电路的库。 项目维护者: mvcisback |

最新版本发布日期：May 20, 2020

用于将aig编译为Javascript的Python库。 项目维护者: mvcisback |

最新版本发布日期：Jan 22, 2020

用于在networkx中将dd包的BDD转换为Multigraph的Python库。 项目维护者: mvcisback |

最新版本发布日期：Nov 12, 2020

用于将二进制决策图转换为自动机的Python库。 项目维护者: mvcisback |

最新版本发布日期：Sep 12, 2020

使用柏克莱亚BC和派格的桥梁。 项目维护者: mvcisback |

最新版本发布日期：Feb 18, 2020

用于创建过去度量时态逻辑监视器的库。 项目维护者: mvcisback |

最新版本发布日期：Apr 14, 2020

最大因果熵规范推理。 项目维护者: mvcisback |

最新版本发布日期：Nov 5, 2020

使用aiger电路在离散集合上建模函数的库。 项目维护者: mvcisback |