| … | … | @@ -18,6 +18,11 @@ 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. | |
| 25 | ||
| 21 | 26 | ## Building and Installing |
| 22 | 27 | |
| 23 | 28 | ### Prerequisites |