Request updating a URL - Githubissues

GaloisInc / LinearArbitrary-SeaHorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

Other

20 stars 8 forks source link

Open Chenguang-Zhu opened 1 year ago

Chenguang-Zhu commented 1 year ago

Hello,

I recently changed the URL of my homepage. Could you please update the reference link? Thanks.

Best Regards, Chenguang