From 2dee7e13216b46806516fbac60543a5d02d68c63 Mon Sep 17 00:00:00 2001 From: Holger Dell <467425+holgerdell@users.noreply.github.com> Date: Thu, 17 Feb 2022 08:24:00 +0100 Subject: [PATCH] Update README.md --- README.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/README.md b/README.md index 1173377..540235b 100644 --- a/README.md +++ b/README.md @@ -30,6 +30,7 @@ Treewidth implementations are used in various contexts. For example, compilers a ### Exact +- [twalgor](https://github.com/twalgor/tw) by Hiaso Tamaki (2022) - [tamaki-2017](https://github.com/TCS-Meiji/PACE2017-TrackA) by Hisao Tamaki, Hiromu Ohtsuka, Takuto Sato, and Keitaro Makii - [tdlib](https://github.com/freetdi/p17) by Lukas Larisch and Felix Salfelder - [Jdrasil](https://github.com/maxbannach/Jdrasil) by Max Bannach, Sebastian Berndt, and Thorsten Ehlers @@ -98,7 +99,3 @@ We define the file format .td. As above, c lines are comments and can occur thro 1 2 2 3 2 4 - -## Mirrors - -All repositories mentioned above are mirrored [here](http://people.mmci.uni-saarland.de/~hdell/pace17/mirror/) as a backup.