| … | … | @@ -18,10 +18,9 @@ The strengths of the URE are |
| 18 | 18 | logics with some limitations. |
| 19 | 19 | * Comes with a powerful control mechanism to speed up reasoning. |
| 20 | 20 | |
| 21 | The weaknesses of the URE are: | |
| 22 | # IT IS NO LONGER MAINTAINED | |
| 23 | The lead developer walked away. Some unit tests pass. It's slowly | |
| 24 | bit-rotting. | |
| 21 | # This version of the URE is no longer maintained | |
| 22 | ||
| 23 | Effort has been shifted to [Hyperon Chainer](https://github.com/trueagi-io/chaining). | |
| 25 | 24 | |
| 26 | 25 | ## Building and Installing |
| 27 | 26 |