dead link to Dresden - Githubissues

nmanthey / riss-solver

sequential and parallel SAT solver

GNU Lesser General Public License v2.1

8 stars 3 forks source link

dead link to Dresden #16

Open DvonHolten opened 3 years ago

DvonHolten commented 3 years ago

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 commented 3 years ago

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