Hacker News new | ask | show | jobs
by maweki 231 days ago
Incremental automatic grounding to SAT works fine for ASP.