Mathias Soeken
Mathias Soeken
Hi, There are several read_verilog parsers and it depends into which data structure you want to read the Verilog. For example, if you want to read Verilog into an AIG,...
The screenshot is not showing the error. Can you please attach the complete output. Also a text file should work easier than a screen shot.
You need to install the required packages that are listed in the `README.md` file. As the error message says, you are not having a C++ compiler installed on your system.
The minimum version for the Boost library is 1.56.0, according to the log you have Boost 1.54.0 installed.
Did you empty the build directory before rebuilding? Did you install boost in a directory where it can be found. Otherwise, you can set the `BOOST_ROOT` variable to point to...
I have updated the code to prevent this error. Can you try again after updating your repository?
For the above error (first screenshot) please check https://github.com/msoeken/cirkit#troubleshooting and try set the `LD_LIBRARY_PATH` to the `lib` directory in CirKit. For the error in the second screenshot could you please...
For your question, if the adder is connected through the primary inputs and primary outputs to the circuit then you can find it with the `spiec` command.
Have you cloned or copy the project into a new folder? It seems that some paths are outdated. There shouldn't be a problem with the minisat dependency. The other problem...
Thanks, I just committed a fix for that.