ICCAD 2024 Contest Problem A Reinforcement Logic Optimization for a General Cost Function Dependencies apt update apt install make flex bison g++ libreadline-dev git submodule update --init --recursive mkdir build -p Installation (cd build; make -f ../Makefile) Related Links ICCAD Contest problems Problem statement Problem Q&A Example testcases