This is a Tetravex solver core written in C using HLS Vivado and deployed on Xilinx Spartan 3E board.