Update README.md

Author: Rayluo-mila

README.md

@@ -26,7 +26,7 @@ Python (3.7.0 or higher recommended, and [Anaconda](https://www.anaconda.com/) r
 
 - Temp files generated when calling decision tree and SVM are in `tmp/`
 
-- Implemented some optimization for SMTLIB files generated by [Seahorn](https://seahorn.github.io/)
+- Implemented some optimization for SMTLIB files generated by [SeaHorn](https://seahorn.github.io/)
 
 - Run: `python test.py` with the parameters below:
 
@@ -94,7 +94,7 @@ In `test.py` `guess_manually` function:
 # Benchmarks
 [CHC-COMP](https://github.com/chc-comp)
 
-[Freqhorn](https://github.com/freqhorn/freqhorn)
+[FreqHorn](https://github.com/freqhorn/freqhorn)
 
 [LinearArbitrary](https://github.com/GaloisInc/LinearArbitrary-SeaHorn/tree/master/test)
 
@@ -110,4 +110,4 @@ In `test.py` `guess_manually` function:
 
 [z3](https://github.com/Z3Prover/z3)
 
-[Seahorn](https://seahorn.github.io/)
+[SeaHorn](https://seahorn.github.io/)