Hi, this appears to be a mirror of it: https://github.com/mpflanzer/delta John On 12/28/20 4:18 PM, Volker Weißmann wrote:
Hello, on your website (https://embed.cs.utah.edu/creduce/) you compare creduce to a tool called "Delta". Unfortunatly, the link http://delta.tigris.org/ is dead. Does anyone have the source code of Delta? Greetings Volker Weißmann