search

GaloisInc / LinearArbitrary-SeaHorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
Other
20 stars 8 forks source link

Broken link #5

Open satbekmyrza opened 3 years ago

satbekmyrza commented 3 years ago

The link https://github.com/GaloisInc/LinearArbitrary-SeaHorn/blob/master in https://github.com/GaloisInc/LinearArbitrary-SeaHorn/blob/master/README.md is broken.