Exact Synthesis
Package for generating minimum-size 4-input majority-inverter graphs (MIGs)
For the implementation details, please refer to Optimizing Majority-Inverter Graphs With Functional Hashing
Installation
Dependency Installation
Install Satisfiability Module Theory (SMT) Z3
git clone https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py
cd build
make
sudo make install
Compilation
git clone https://github.com/popo55668/exact-synthesis.git
cd exact-synthesis
make