tkren / clasp

A conflict-driven nogood learning answer set solver

http://www.cs.uni-potsdam.de/clasp/

Geek Repo

Github PK Tool