Login
From:
potassco.org
(Uncensored)
subscribe
Wasp
https://potassco.org/related/2016/10/18/wasp.html
links
backlinks
Tagged with:
related
Wasp is an ASP solver handling disjunctive logic programs under the stable model semantics. It combines techniques originally introduced for SAT solving with...
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!