Skip to content

[Branch] 2nd Place -- CUFR (The Chinese University of Hong Kong) (#92) #487

[Branch] 2nd Place -- CUFR (The Chinese University of Hong Kong) (#92)

[Branch] 2nd Place -- CUFR (The Chinese University of Hong Kong) (#92) #487

make (cufr, true, true, logicnets_jscl)

succeeded May 21, 2024 in 2m 16s