Revision as of 12:25, 2 June 2021 edit Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,637 edits m →Comparison of implementations: Uppercase. ← Previous edit		Revision as of 23:05, 9 September 2021 edit undo Janburse (talk \| contribs) Extended confirmed users 1,136 edits Jekejeke Prolog not anymore available, see Dogelog Runtime Next edit →
Line 362: \|{{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~~ ~~\|{{yes}}~~ ~~\|{{yes}}~~ \| \| ~~\|{{yes}}~~ ~~\|DPLL Variant via Safe Forward Chaining~~ \|- \|{{rh}}\|[http://www.cs.uni-potsdam.de/nomore/ nomore++]

Answer set programming: Difference between revisions