dead link to Dresden

[DvonHolten]

in the coprocessor-module, the given link
http://tools.computational-logic.org
points to nowhere.
the documentation here is not precise, whether this is Coprocessor 2 or an earlier version.
Is the Coprocessor 2 standalone sourcecode available somewhere ?

[conp-solutions]

Apparently the web page has been taken down by my former institute.

Coprocessor (now with a 3) is accessible on github: https://github.com/conp-solutions/riss