Closed bowlofeggs closed 5 years ago
This link https://www.cs.uni-potsdam.de/wv/software/ still has contact info for Torsten in case someone wants to write him and ask where it went.
thanks for your report. now that opam2 landed, the instructions should be updated. opam2 also ships with a solver, so there's no longer a dependency to aspcud. sorry, I'm short on time this week, but will try to find some to update the instructions.
Ah ok. Well just for the record, I did get in touch with Torsten and he said the new link is https://github.com/potassco/aspcud.
we're in opam2 world now, so aspcud is no longer a dependency :)
The link to aspcud in README.md is missing and the server responds with HTTP 404.