New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

pakreq: unclasp (clasp variant); aspuncud (aspcud w/ unclasp) #524

Open

Artoria2e5 opened this issue Dec 13, 2016 · 0 comments

Labels

pakreq

Milestone

Member

Artoria2e5 commented Dec 13, 2016 •

edited

unclasp: https://sourceforge.net/p/potassco/code/5873/tree/branches/unclasp-oll/

See also: http://www.cs.uni-potsdam.de/wv/aspcud/

aspuncud outperforms friends in MISC 2012 (lower is better).

Artoria2e5 added the pakreq label

KexyBiscuit added this to the Backlog milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment