This release is a pre-release and may not be stable for production use.
# CirKit (Python interface)
CirKit is a synthesis and optimization frameworks for classical logic networks. It is implemented based on various [EPFL logic sythesis libraries](https://github.com/lsils/lstools-showcase).
## Example
`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 logic sythesis libraries
CirKit and Revkit are based on the [EPFL logic synthesis](https://lsi.epfl.ch/page-138455-en.html) libraries. The libraries and several examples on how to use and integrate the libraries can be found in the [logic synthesis tool showcase](https://github.com/lsils/lstools-showcase).
1 maintainer
Metadata
1 maintainer
Release files for cirkit 3.0a2.dev5
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| cirkit-3.0a2.dev5.tar.gz | 1.3 MB | Details |
Release files / cirkit-3.0a2.dev5.tar.gz
| Download URL | cirkit-3.0a2.dev5.tar.gz |
|---|---|
| Size | 1.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
8fc72e982f41292d81615b4fbde008b1359a0b5a317fdf96cce44761e4c4670c
|
|
BLAKE2b-256 checksum How to use checksums |
80329fe492e4aac4ae301e62d20cd1d815127757d63f3f678743bb1feed02902
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/1.11.0 pkginfo/1.4.2 requests/2.19.1 setuptools/40.8.0 requests-toolbelt/0.8.0 tqdm/4.23.4 CPython/3.7.2
|
