msoeken/cirkit

Issues

• make external error

  #94 opened a year ago by others777
  0

• error while doing make cirkit on Anaconda3

  #93 opened 4 years ago by pasandi20
  0

• Errors in '# cmake ..' '# make cirkit'

  #92 opened 4 years ago by eat7
  0

• Bdd Manipulation/Rounding Not Working

  #91 opened 4 years ago by amad725
  0

• error in make revkit.

  #76 opened 5 years ago by gari0894
  1

• sudo python3 setup.py install getting stuck for hours.

  #70 opened 5 years ago by gari0894
  2

• from: can't read /var/mail/revkit

  #75 opened 6 years ago by WuYu-99
  0

• How to export store content?

  #72 opened 6 years ago by mtdsousa
  0

• Throwing std::out_of_range when showing store entry

  #71 opened 6 years ago by mtdsousa
  0

• make revkit命令出错

  #69 opened 6 years ago by WuYu-99
  9

• How to use RevkitV3 with MCMT gate

  #67 opened 6 years ago
  0

• Run revkit on mutli-core

  #64 opened 6 years ago by nimishalimaye
  0

• Error in 'make cirkit' step

  #63 opened 6 years ago by tanim87
  3

• unable to convert .pla to .real file for 17+ inputs.

  #61 opened 6 years ago by nimishalimaye
  0

• Z3 version

  #60 opened 6 years ago by debjyoti0891
  0

• Synthesis techniques in revkit

  #59 opened 6 years ago by nimishalimaye
  0

• Error in make

  #14 opened 8 years ago by S-Dutta1
  25

• Question

  #54 opened 7 years ago by Siegrainn
  0

• write_qc command fails to execute

  #53 opened 7 years ago by rakesh-iiest
  0

• error in "make external" step

  #47 opened 7 years ago by nimishalimaye
  4

• How to ignore don't cares when synthesizing a truth table.

  #52 opened 7 years ago
  2

• Pybind and cmake mismatch during python interface installation

  #51 opened 7 years ago by sayeg84
  0

• Some issues regarding Revkit 2.2

  #13 opened 7 years ago by HariMohan84
  5

• Cannot open aig from verilog

  #33 opened 7 years ago by marcoffee
  2

• error about 'make external'

  #34 opened 7 years ago by make-j4
  39

• Python interface not loading

  #44 opened 7 years ago by sayeg84
  6

• How to limit the MCT gates control signals

  #50 opened 7 years ago
  1

• Is it possible to choose specific library to synthesize a circuit?

  #49 opened 7 years ago
  1

• unable to reproduce the same benchmark on RevLib using Revkit

  #48 opened 7 years ago
  1

• Bug in `rec` command

  #42 opened 7 years ago by sayeg84
  0

• Error when Make cirkit

  #36 opened 7 years ago
  1

• ESOP based Synthesis

  #16 opened 7 years ago by HariMohan84
  2

• Problem using ipython while importing revkit module

  #35 opened 7 years ago by pulkit561
  1

• Error converting negative control gates

  #32 opened 7 years ago by sayeg84
  2

• Bug when writing verilog files

  #31 opened 7 years ago by marcoffee
  0

• read_verilog capabilities?

  #30 opened 8 years ago by AliRady
  0

• Make Error

  #29 opened 8 years ago by AliRady
  5

• Why the positions of dont care values makes a difference

  #26 opened 8 years ago by Tony-Xiaotong-Cui
  1

• The difference between complete and incomplete truth table.

  #27 opened 8 years ago by Tony-Xiaotong-Cui
  0

• Why the read_verilog doesn't work?

  #15 opened 8 years ago by Tony-Xiaotong-Cui
  1

• revkit2.2 is working fine, but for quantum decomposition i had to use revkit1.3 but its having installaton error

  #10 opened 8 years ago by joinalahmed
  1

• Small typo in README.md

  #11 opened 8 years ago by SeguinBe
  1

• Error during make revkit command

  #8 opened 8 years ago by HariMohan84
  5

• compilation error ubuntu 16.04

  #9 opened 8 years ago by joinalahmed
  2

• When i'm trying to build, i'm geting a error

  #7 opened 8 years ago by joinalahmed
  1

• Revkit Installation

  #1 opened 9 years ago by Saranya-Nkl
  1