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
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
File details
Details for the file cirkit-3.0a2.dev5.tar.gz.
File metadata
- Download URL: cirkit-3.0a2.dev5.tar.gz
- Upload date:
- Size: 1.3 MB
- Tags: Source
- Uploaded using 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
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8fc72e982f41292d81615b4fbde008b1359a0b5a317fdf96cce44761e4c4670c
|
|
| MD5 |
fd9d7f22be48b0dd838eca681a77317e
|
|
| BLAKE2b-256 |
80329fe492e4aac4ae301e62d20cd1d815127757d63f3f678743bb1feed02902
|
