Revision as of 02:37, 30 September 2019 edit InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,673,601 edits Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0 ← Previous edit		Revision as of 21:08, 8 October 2019 edit undo Janburse (talk \| contribs) Extended confirmed users 1,136 edits →Comparison of implementations Next edit →
Line 358: \|{{yes}} \| built on top of smodels \|- \|{{rh}}\|[http://www.jekejeke.ch/idatab/doclet/prod/en/docs/15_min/10_docu/02_reference/07_theory/01_minimal/06_asp.html Jekejeke] \|[[Linux]], [[macOS]], [[Microsoft Windows\|Windows]] ([[Java Virtual Machine]]) \|[[Proprietary]] \| \| \| \| \| \|DPLL via Safe Forward Chaining \|- \|{{rh}}\|[http://www.cs.uni-potsdam.de/nomore/ nomore++] Line 419 ⟶ 429: \|SAT-solver based \|} ==See also==

Answer set programming: Difference between revisions