{ "info": { "author": "Mathias Soeken", "author_email": "mathias.soeken@epfl.ch", "bugtrack_url": null, "classifiers": [ "License :: OSI Approved :: MIT License", "Operating System :: OS Independent" ], "description": "# CirKit (Python interface)\n\nCirKit is a synthesis and optimization frameworks for classical logic networks.\nIt is implemented based on various\n[EPFL logic sythesis libraries](https://github.com/lsils/lstools-showcase).\n\n## Example\n\n```python\nimport cirkit\ncirkit.read_aiger(aig=True, filename=\"file.aig\")\ncirkit.ps(aig=True)\ncirkit.cut_rewrite(aig=True)\ncirkit.lut_mapping(aig=True)\ncirkit.collapse_mapped(aig=True)\ncirkit.ps(lut=True)\ncirkit.write_bench(lut=True, filename=\"file.bench\")\n```\n\n## EPFL logic sythesis libraries\n\nCirKit 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).", "description_content_type": "", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://msoeken.github.io/cirkit.html", "keywords": "", "license": "", "maintainer": "", "maintainer_email": "", "name": "cirkit", "package_url": "https://pypi.org/project/cirkit/", "platform": "", "project_url": "https://pypi.org/project/cirkit/", "project_urls": { "Homepage": "https://msoeken.github.io/cirkit.html" }, "release_url": "https://pypi.org/project/cirkit/3.0a2.dev5/", "requires_dist": null, "requires_python": "", "summary": "A C++ logic synthesis framework", "version": "3.0a2.dev5" }, "last_serial": 5104068, "releases": { "3.0a1.dev1": [ { "comment_text": "", "digests": { "md5": "3e51066b43b655e86fcab3a253aad700", "sha256": "6dfe542fa4e22bb59305ac0cb99744b7de556d8b5437d053c07e6210ca23a57a" }, "downloads": -1, "filename": "cirkit-3.0a1.dev1-cp27-cp27m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "3e51066b43b655e86fcab3a253aad700", "packagetype": "bdist_wheel", "python_version": "cp27", "requires_python": null, "size": 521270, "upload_time": "2018-07-17T13:10:10", "url": "https://files.pythonhosted.org/packages/2e/41/dc81bd12206ab89a9fdbff13e040e0380489a576500afcdaa17995212b0c/cirkit-3.0a1.dev1-cp27-cp27m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8bd45c65dafe0e360659a440aea72fd8", "sha256": "4fed5cff5ecddc7d49b9498e0eb3c71a3a2f65c9e1468de73d6065091049dca1" }, "downloads": -1, "filename": "cirkit-3.0a1.dev1-cp34-cp34m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "8bd45c65dafe0e360659a440aea72fd8", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 520712, "upload_time": "2018-07-17T13:10:16", "url": "https://files.pythonhosted.org/packages/72/a3/a42911154f246611747687dfa2ed95964a5735f7a14f665af776a7502352/cirkit-3.0a1.dev1-cp34-cp34m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "3a6090b5c783acbec80a251653c83896", "sha256": "b8b9323afe0f3e3cfa7e83a34c76935f25fdd3fdb6c21dd0b4de41ef8b6c4dcd" }, "downloads": -1, "filename": "cirkit-3.0a1.dev1-cp35-cp35m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "3a6090b5c783acbec80a251653c83896", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 520779, "upload_time": "2018-07-17T13:10:18", "url": "https://files.pythonhosted.org/packages/16/48/8e355ec7b05b29efb12c8773d794b8173f2d8a25c5544efbe17f6eb1662b/cirkit-3.0a1.dev1-cp35-cp35m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "751d34ba0b28b0385eaa3592b8ca9e4f", "sha256": "9dfa77d1c37bfb28899301554b10efe8a4082e3123975757c659a5ea91d1f354" }, "downloads": -1, "filename": "cirkit-3.0a1.dev1-cp36-cp36m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "751d34ba0b28b0385eaa3592b8ca9e4f", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 520778, "upload_time": "2018-07-17T13:10:23", "url": "https://files.pythonhosted.org/packages/a2/61/bca516c7581db677b4c31e7426f70b4565b3f4a8f277cb912f708af358fa/cirkit-3.0a1.dev1-cp36-cp36m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "c97eb58dfce5951d17c24178f1485614", "sha256": "3eab6b09bf8c6beb5f6b1e1fccd75adea317eb2d424cd7649e8615a60713600d" }, "downloads": -1, "filename": "cirkit-3.0a1.dev1-cp37-cp37m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "c97eb58dfce5951d17c24178f1485614", "packagetype": "bdist_wheel", "python_version": "cp37", "requires_python": null, "size": 520779, "upload_time": "2018-07-17T13:10:29", "url": "https://files.pythonhosted.org/packages/1c/9f/adccbcb1f08937531532b08fcf441143fdc986599390f0ad2ab509fc1643/cirkit-3.0a1.dev1-cp37-cp37m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "6ea11f77ac344e681f199a7a4585c597", "sha256": "62553b8afea691c2e11a0e706fc760bc3818fcd4897bbfdc1a95596a6d4b3673" }, "downloads": -1, "filename": "cirkit-3.0a1.dev1.tar.gz", "has_sig": false, "md5_digest": "6ea11f77ac344e681f199a7a4585c597", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 573087, "upload_time": "2018-07-17T13:10:48", "url": "https://files.pythonhosted.org/packages/5a/4a/847ddace87793cd58bdfef209ff198a3d499dfc93fe6e26d7d21e0f5ea6c/cirkit-3.0a1.dev1.tar.gz" } ], "3.0a1.dev2": [ { "comment_text": "", "digests": { "md5": "a80e289874484815770ce7d11fe67b27", "sha256": "bbf4e52f74d4deb8f31329a3a30dea9867038fa58001d5844dfc167cbefccd6c" }, "downloads": -1, "filename": "cirkit-3.0a1.dev2-cp27-cp27m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "a80e289874484815770ce7d11fe67b27", "packagetype": "bdist_wheel", "python_version": "cp27", "requires_python": null, "size": 538032, "upload_time": "2018-07-20T06:20:56", "url": "https://files.pythonhosted.org/packages/d3/17/4aa83f463e183836d6c1c1cd7a04f6c54cf5689d5bdd504a31acec16be43/cirkit-3.0a1.dev2-cp27-cp27m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "e92eae6091ea07f95578e65d4d79ce44", "sha256": "81c8eeaee3ba6c09668a82ca3a181f90b0448e9c1863db5479d19a39b0215fee" }, "downloads": -1, "filename": "cirkit-3.0a1.dev2-cp34-cp34m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "e92eae6091ea07f95578e65d4d79ce44", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 537283, "upload_time": "2018-07-20T06:20:58", "url": "https://files.pythonhosted.org/packages/ab/95/bcf0829f92fbf8a3b053d570adbf2703f46ff8457191a6f3660372d122ff/cirkit-3.0a1.dev2-cp34-cp34m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "e7139c25f741a0215d30b9559d9cf0bb", "sha256": "52cdea0b05ac06310f42ec5763be52206733db76c98b58a67aebf9203b3eb167" }, "downloads": -1, "filename": "cirkit-3.0a1.dev2-cp35-cp35m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "e7139c25f741a0215d30b9559d9cf0bb", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 537392, "upload_time": "2018-07-20T06:21:00", "url": "https://files.pythonhosted.org/packages/a5/1d/544370c8a8e54a52cdd044bb95960ff19c404ff1136442ab520632eeb85c/cirkit-3.0a1.dev2-cp35-cp35m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "4ef1c7e3c5e946968016fd93b9d19160", "sha256": "a5b8396ead5c468db0b9b812d2086639b07cac426e622a5829f3319bfcbdfb3f" }, "downloads": -1, "filename": "cirkit-3.0a1.dev2-cp36-cp36m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "4ef1c7e3c5e946968016fd93b9d19160", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 537394, "upload_time": "2018-07-20T06:21:01", "url": "https://files.pythonhosted.org/packages/c3/ac/73d29e4c854cef0abaa38c68a3b7bfd0ee40820b568f81a4763d478c2da1/cirkit-3.0a1.dev2-cp36-cp36m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "631680c5d9d47838b53693050249e34c", "sha256": "865f78deb8f605a1b5e9d20023d40ef4416c9c39cdea1ab53afa0e14b07ea9da" }, "downloads": -1, "filename": "cirkit-3.0a1.dev2-cp37-cp37m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "631680c5d9d47838b53693050249e34c", "packagetype": "bdist_wheel", "python_version": "cp37", "requires_python": null, "size": 537394, "upload_time": "2018-07-20T06:21:03", "url": "https://files.pythonhosted.org/packages/9b/a8/34ce41408aed92055951a7fb9ce7a899db7abb91444b91b10f8d1c4450af/cirkit-3.0a1.dev2-cp37-cp37m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "7b8be4f2a0bdfa8461bd295f308c9e6c", "sha256": "630fd54f0d9c633c0f946a8b55f7c6174bdc04c88ff5326c7d97e947cde503cd" }, "downloads": -1, "filename": "cirkit-3.0a1.dev2.tar.gz", "has_sig": false, "md5_digest": "7b8be4f2a0bdfa8461bd295f308c9e6c", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 581211, "upload_time": "2018-07-20T06:21:12", "url": "https://files.pythonhosted.org/packages/31/97/bbf9439cef050dd6d50ea2af67abfed2790052502c1665842cfb720529bd/cirkit-3.0a1.dev2.tar.gz" } ], "3.0a2.dev1": [ { "comment_text": "", "digests": { "md5": "3d59a763c60806b6cd6b396cacff347f", "sha256": "9db3b3f521eb7e50226ffb2b55b6da953e12995142c7c4c33a092ebb2223ad74" }, "downloads": -1, "filename": "cirkit-3.0a2.dev1-cp27-cp27m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "3d59a763c60806b6cd6b396cacff347f", "packagetype": "bdist_wheel", "python_version": "cp27", "requires_python": null, "size": 807537, "upload_time": "2018-09-17T06:46:35", "url": "https://files.pythonhosted.org/packages/0d/ec/3a30978b558fb2cb45dfb8dcfb355f226ed5f3b504e8242e9b6dd207f831/cirkit-3.0a2.dev1-cp27-cp27m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "8cf9904d389ed2e61319f5bbf2547dcf", "sha256": "94bc41b16aec0c7b193782e5dd1aa9ad0853ef2124bd60ffd6d35c474355b943" }, "downloads": -1, "filename": "cirkit-3.0a2.dev1-cp34-cp34m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "8cf9904d389ed2e61319f5bbf2547dcf", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 822195, "upload_time": "2018-09-17T06:46:38", "url": "https://files.pythonhosted.org/packages/6a/ea/027975e78be50aa072a1dce4e20de483ded159fdc1d2409890cfc9f8582f/cirkit-3.0a2.dev1-cp34-cp34m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "55497b89051ffb55ac83ecbcc17f33a2", "sha256": "48a20a80cfd7816777aa49e1e81f93c12985a10a63b97fb6b0c9584a709d3f4f" }, "downloads": -1, "filename": "cirkit-3.0a2.dev1-cp35-cp35m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "55497b89051ffb55ac83ecbcc17f33a2", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 822195, "upload_time": "2018-09-17T06:46:39", "url": "https://files.pythonhosted.org/packages/09/c8/6e73c0729b5101b5a6c4eabd829c0dd098b0c3ebabe42f6cb3cda3d2579d/cirkit-3.0a2.dev1-cp35-cp35m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "119b4f46e9b139bd54b1a94f9d759577", "sha256": "f5a16f75350b36b18a0fc5a0e218b46929db6ea5432e435bdca647ab027441b3" }, "downloads": -1, "filename": "cirkit-3.0a2.dev1-cp36-cp36m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "119b4f46e9b139bd54b1a94f9d759577", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 822195, "upload_time": "2018-09-17T06:46:42", "url": "https://files.pythonhosted.org/packages/bc/f9/400c36905ac3fa10c3043387482bc7425ad6b73b1d698ecc351514f6553e/cirkit-3.0a2.dev1-cp36-cp36m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "86610e1e031115775e8241e5daee5c96", "sha256": "08e74f4af0d43bf901b3d075d1ffbefda84dfeb157301f5072f13b6527983903" }, "downloads": -1, "filename": "cirkit-3.0a2.dev1-cp37-cp37m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "86610e1e031115775e8241e5daee5c96", "packagetype": "bdist_wheel", "python_version": "cp37", "requires_python": null, "size": 822196, "upload_time": "2018-09-17T06:46:44", "url": "https://files.pythonhosted.org/packages/fe/97/bc2f68b2b2358fb258a836003b3be6f374c54b9925c040b14e5ba3bb0384/cirkit-3.0a2.dev1-cp37-cp37m-macosx_10_13_x86_64.whl" } ], "3.0a2.dev3": [ { "comment_text": "", "digests": { "md5": "7f2ca4409267b628927662e0e07a38df", "sha256": "c7d044c75f5c5710fee516c20906f463dcbf75ef5905796a3c9ec9bc4b980158" }, "downloads": -1, "filename": "cirkit-3.0a2.dev3-cp27-cp27m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "7f2ca4409267b628927662e0e07a38df", "packagetype": "bdist_wheel", "python_version": "cp27", "requires_python": null, "size": 1169988, "upload_time": "2019-02-06T13:04:28", "url": "https://files.pythonhosted.org/packages/21/a8/b904173ed1b42697d883e3a89c31bd7c0e7c71e77392072e0e73e43304c3/cirkit-3.0a2.dev3-cp27-cp27m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "fb82f743edc8ec28b206fee9bbdb7863", "sha256": "690873b87c8f5ec4ba3ade17011973b2bbbbaf3e8eca0665c0bee7d5426ece99" }, "downloads": -1, "filename": "cirkit-3.0a2.dev3-cp34-cp34m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "fb82f743edc8ec28b206fee9bbdb7863", "packagetype": "bdist_wheel", "python_version": "cp34", "requires_python": null, "size": 1179727, "upload_time": "2019-02-06T13:04:30", "url": "https://files.pythonhosted.org/packages/da/cf/1bcf8abe3ed13f80e42c9b535a4c9789c17b8065973fdbf6370aad36ffdf/cirkit-3.0a2.dev3-cp34-cp34m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "bf0c527ceac69a72e9c1ef37c78d7623", "sha256": "3d203a65493d98033b7ef9ccdb4879828a9a550ccc5f6530127778f45c3d8c0c" }, "downloads": -1, "filename": "cirkit-3.0a2.dev3-cp35-cp35m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "bf0c527ceac69a72e9c1ef37c78d7623", "packagetype": "bdist_wheel", "python_version": "cp35", "requires_python": null, "size": 1179762, "upload_time": "2019-02-06T13:04:32", "url": "https://files.pythonhosted.org/packages/f3/3a/74b388ba08191faa5a88e6690f7387b6f5ffd6e890ff32c798a3460a856a/cirkit-3.0a2.dev3-cp35-cp35m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "f115291965eb136e6224d4b43e2ee6f1", "sha256": "e7401200720bfd874a707a51314e10cac340db3cdcfa951ff3192912a459a803" }, "downloads": -1, "filename": "cirkit-3.0a2.dev3-cp36-cp36m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "f115291965eb136e6224d4b43e2ee6f1", "packagetype": "bdist_wheel", "python_version": "cp36", "requires_python": null, "size": 1179760, "upload_time": "2019-02-06T13:04:34", "url": "https://files.pythonhosted.org/packages/c7/a2/b87a31ee7cf6c2953becff40608644c52b0903ddab0a0a0837d605c137f3/cirkit-3.0a2.dev3-cp36-cp36m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "26caecb7a6ece08d709583da96e5ab78", "sha256": "00b0133b91f1b55457740c8a3f4d7a39d70f35a9372d5d852f3a968fb22af741" }, "downloads": -1, "filename": "cirkit-3.0a2.dev3-cp37-cp37m-macosx_10_13_x86_64.whl", "has_sig": false, "md5_digest": "26caecb7a6ece08d709583da96e5ab78", "packagetype": "bdist_wheel", "python_version": "cp37", "requires_python": null, "size": 1179762, "upload_time": "2019-02-06T13:04:35", "url": "https://files.pythonhosted.org/packages/3e/8c/fe19046ad4409c96b98134e1652cdd45131a471c3a0ea7168d5caf826101/cirkit-3.0a2.dev3-cp37-cp37m-macosx_10_13_x86_64.whl" }, { "comment_text": "", "digests": { "md5": "96106369027415b6055365eb0440c4cb", "sha256": "b25398f5616bb568d5cd6d4b47c238b317b3a4c4243ecb4d35967737f2d12965" }, "downloads": -1, "filename": "cirkit-3.0a2.dev3.tar.gz", "has_sig": false, "md5_digest": "96106369027415b6055365eb0440c4cb", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 1196911, "upload_time": "2019-02-06T13:51:54", "url": "https://files.pythonhosted.org/packages/ee/22/13256583dab2519034781a9aff47676fd6df96c434e13bdfb09e58b2d937/cirkit-3.0a2.dev3.tar.gz" } ], "3.0a2.dev4": [ { "comment_text": "", "digests": { "md5": "a98677bc0603dad0de3a07f987c2eac0", "sha256": "57b41556816cb4e605b8d12cc51d23f6aaadf943849757294b444cf59dda5daf" }, "downloads": -1, "filename": "cirkit-3.0a2.dev4.tar.gz", "has_sig": false, "md5_digest": "a98677bc0603dad0de3a07f987c2eac0", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 1198287, "upload_time": "2019-02-12T11:10:00", "url": "https://files.pythonhosted.org/packages/f9/67/53e70d85494d90ace6632513c03e932b81dbc57b5912ed25a3bf0611aa9b/cirkit-3.0a2.dev4.tar.gz" } ], "3.0a2.dev5": [ { "comment_text": "", "digests": { "md5": "fd9d7f22be48b0dd838eca681a77317e", "sha256": "8fc72e982f41292d81615b4fbde008b1359a0b5a317fdf96cce44761e4c4670c" }, "downloads": -1, "filename": "cirkit-3.0a2.dev5.tar.gz", "has_sig": false, "md5_digest": "fd9d7f22be48b0dd838eca681a77317e", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 1348935, "upload_time": "2019-04-05T14:47:53", "url": "https://files.pythonhosted.org/packages/80/32/9fe492e4aac4ae301e62d20cd1d815127757d63f3f678743bb1feed02902/cirkit-3.0a2.dev5.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "fd9d7f22be48b0dd838eca681a77317e", "sha256": "8fc72e982f41292d81615b4fbde008b1359a0b5a317fdf96cce44761e4c4670c" }, "downloads": -1, "filename": "cirkit-3.0a2.dev5.tar.gz", "has_sig": false, "md5_digest": "fd9d7f22be48b0dd838eca681a77317e", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 1348935, "upload_time": "2019-04-05T14:47:53", "url": "https://files.pythonhosted.org/packages/80/32/9fe492e4aac4ae301e62d20cd1d815127757d63f3f678743bb1feed02902/cirkit-3.0a2.dev5.tar.gz" } ] }