search

fxreichl / eSLIM

A Boolean circuit minimizer
MIT License
3 stars 0 forks source link

Pybind11 Compilation Problem #1

Open lzxdjb opened 2 months ago

lzxdjb commented 2 months ago

When building without install pybind11 (build file without using pybind11). Everything is correct.

But when compiling file requiring pybind11. It can not build. The amount of error output is huge so I wonder whether it is the problem of the version?

Maybe you can write a setup file? Thank you so much!

lzxdjb commented 2 months ago

python reduce.py /home/lzx/MyTempFile/eSlim/c17.aig /home/lzx/MyTempFile/eSlim/result 10 --syn-mod equivalent

When I choose to use SAT to solve. It outputs the error: AttributeError: 'EncoderExactSynthesis' object has no attribute 'timer'

How to fix that? Thank you very much!

fxreichl commented 2 months ago

I will have a look and I will try to fix this. Unfortunately, I can't do this before the end of next week.

fxreichl commented 2 months ago

I just saw that you used the option --syn-mod equivalent. This is a legacy option, which we used for testing. You should either use qbf or rel-sat. To make this option clearer I will remove equivalent and maybe I will rename rel-sat to sat.

fxreichl commented 2 months ago

I just tried to reproduce the error you described, on a fresh Ubuntu 24 system. I was able to compile the libraries without errors. Could you please give me some information about your system (e.g. OS, Python version) so that I can reproduce the error?

On the fresh Ubuntu system I just installed git, cmake, build-essential, python3-dev and python3-venv (to create a virtual Python environment). To set up eSLIM I then used:

python3 -m venv pyeslim      # While using a virtual environment is not necessary, I prefer using one.
source pyeslim/bin/activate
pip install pybind11[global]
pip install bitarray
git clone --recursive https://github.com/fxreichl/eSLIM.git
cd eSLIM/src/bindings
mkdir build
cd build
cmake ..
make -j4