一个C++逻辑综合框架
cirkit的Python项目详细描述
#cirkit（python接口）
cirkit是经典逻辑网络的综合和优化框架。 它的实现基于 [epfl逻辑综合库]（https://github.com/lsils/lstools-showcase）。
##示例
`python import cirkit cirkit.read_aiger(aig=True, filename="file.aig") cirkit.ps(aig=True) cirkit.cut_rewrite(aig=True) cirkit.lut_mapping(aig=True) cirkit.collapse_mapped(aig=True) cirkit.ps(lut=True) cirkit.write_bench(lut=True, filename="file.bench") `
##EPFL逻辑系统库
cirkit和revkit基于[epfl logic synthesis]（https://lsi.epfl.ch/page-138455-en.html）库。这些库和一些关于如何使用和集成库的示例可以在[logic synthesis tool showcase]（https://github.com/lsils/lstools-showcase）中找到。
欢迎加入QQ群-->： 979659372
