A SAT solver implementation in VHDL, welcome feedback | Heykuki News