GitHub repository: offshorewind/stp_assignments
Primary language: SystemVerilog
Description: follows the pseudo code on book SMT by Koehn