init commit

.gitignore

@@ -0,0 +1,243 @@
+### JetBrains+iml template
+# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio, WebStorm and Rider
+# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
+
+# User-specific stuff
+.idea/**/workspace.xml
+.idea/**/tasks.xml
+.idea/**/usage.statistics.xml
+.idea/**/dictionaries
+.idea/**/shelf
+
+# AWS User-specific
+.idea/**/aws.xml
+
+# Generated files
+.idea/**/contentModel.xml
+
+# Sensitive or high-churn files
+.idea/**/dataSources/
+.idea/**/dataSources.ids
+.idea/**/dataSources.local.xml
+.idea/**/sqlDataSources.xml
+.idea/**/dynamic.xml
+.idea/**/uiDesigner.xml
+.idea/**/dbnavigator.xml
+
+# Gradle
+.idea/**/gradle.xml
+.idea/**/libraries
+
+# Gradle and Maven with auto-import
+# When using Gradle or Maven with auto-import, you should exclude module files,
+# since they will be recreated, and may cause churn.  Uncomment if using
+# auto-import.
+# .idea/artifacts
+# .idea/compiler.xml
+# .idea/jarRepositories.xml
+# .idea/modules.xml
+# .idea/*.iml
+# .idea/modules
+# *.iml
+# *.ipr
+
+# CMake
+cmake-build-*/
+
+# Mongo Explorer plugin
+.idea/**/mongoSettings.xml
+
+# File-based project format
+*.iws
+
+# IntelliJ
+out/
+
+# mpeltonen/sbt-idea plugin
+.idea_modules/
+
+# JIRA plugin
+atlassian-ide-plugin.xml
+
+# Cursive Clojure plugin
+.idea/replstate.xml
+
+# SonarLint plugin
+.idea/sonarlint/
+
+# Crashlytics plugin (for Android Studio and IntelliJ)
+com_crashlytics_export_strings.xml
+crashlytics.properties
+crashlytics-build.properties
+fabric.properties
+
+# Editor-based Rest Client
+.idea/httpRequests
+
+# Android studio 3.1+ serialized cache file
+.idea/caches/build_file_checksums.ser
+
+### Python template
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+#Pipfile.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+#poetry.lock
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#pdm.lock
+#   pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
+#   in version control.
+#   https://pdm.fming.dev/latest/usage/project/#working-with-version-control
+.pdm.toml
+.pdm-python
+.pdm-build/
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#  and can be added to the global gitignore or merged into this file.  For a more nuclear
+#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
+.idea/
+

app.py

@@ -0,0 +1,66 @@
+import gradio as gr
+import pandas as pd
+import circuit_transformer as ct
+
+circuit_transformer = ct.CircuitTransformer()
+aiger_str = """aag 33 8 0 2 25
+2\n4\n6\n8\n10\n12\n14\n16\n58\n67
+18 13 16\n20 19 7\n22 21 15\n24 3 9\n26 25 11
+28 27 17\n30 3 6\n32 29 31\n34 29 32\n36 23 35
+38 7 36\n40 10 29\n42 41 32\n44 13 15\n46 42 45
+48 47 21\n50 39 49\n52 4 45\n54 25 53\n56 54 5
+58 51 57\n60 45 12\n62 18 61\n64 63 19\n66 48 64
+"""
+
+def predict(input_text, mcts_playouts):
+    if input_text[-1] != '\n':
+        input_text += '\n'
+    try:
+        aig, info = ct.read_aiger(aiger_str=input_text)
+    except Exception as e:
+        raise gr.Error("Aiger format error!")
+    num_inputs, num_outputs = info[1], info[3]
+    if not isinstance(aig, list):
+        aig = [aig]
+    if num_inputs > 8:
+        raise gr.Error("Number of inputs should <= 8")
+    if num_outputs > 2:
+        raise gr.Error("Number of outputs should <= 2")
+    mcts_playouts = int(mcts_playouts)
+    optimized_aigs = circuit_transformer.optimize(
+        aigs=[aig],
+        num_mcts_steps=1 if mcts_playouts > 0 else 0,
+        num_mcts_playouts_per_step=mcts_playouts
+    )
+    optimized_aig = optimized_aigs[0]
+    input_tt = ct.compute_input_tt(num_inputs)
+    aig_tts = ct.compute_tts(aig, input_tt=input_tt)
+    aig_tts_str = "\n".join([tt.to01() for tt in aig_tts])
+    optimized_aig_tts = ct.compute_tts(optimized_aig, input_tt=input_tt)
+    optimized_aig_tts_str = "\n".join([tt.to01() for tt in optimized_aig_tts])
+    num_ands = pd.DataFrame(data={
+        "circuit": ["Original", "Optimized"],
+        "size": [ct.count_num_ands(aig), ct.count_num_ands(optimized_aig)]
+    })
+    ct.plot_network(aig, view=False, filename="aig.png")
+    ct.plot_network(optimized_aig, view=False, filename="optimized_aig.png")
+    return ct.write_aiger(optimized_aig), num_ands, "aig.png", "optimized_aig.png", aig_tts_str, optimized_aig_tts_str, str(ct.cec(aig, optimized_aig))
+
+gradio_app = gr.Interface(
+    predict,
+    inputs=[gr.Code(value=aiger_str, label="Input And-Inverter Graph (Aiger format, #(inputs) <= 8, #(outputs) <= 2)"),
+            gr.Slider(minimum=0, maximum=8, value=0, step=1, label="Monte-Carlo tree search steps")],
+    outputs=[gr.Code(label="Optimized And-Inverter Graph (Aiger format)"),
+             gr.BarPlot(label="Circuit Size Comparison", x="circuit", y="size", sort="-x"),
+             gr.Image(label="Original And-Inverter Graph"),
+             gr.Image(label="Optimized And-Inverter Graph"),
+             gr.Text(label="Truth table of the original circuit"),
+             gr.Text(label="Truth table of the optimized circuit"),
+             gr.Text(label="Equivalence"),],
+    title="Circuit Transformer for Size Minimization",
+    description="""This is a demo to show how a [Circuit Transformer](https://openreview.net/forum?id=kpnW12Lm9p) 
+minimize the size of a logic circuit by next token prediction, while strictly preserving logical equivalence."""
+)
+
+if __name__ == "__main__":
+    gradio_app.launch()

packages.txt

@@ -0,0 +1 @@
+graphviz

requirements.txt

@@ -0,0 +1,2 @@
+circuit-transformer
+pandas