Revision as of 00:59, 11 February 2019 edit Hga (talk \| contribs) Extended confirmed users 678 edits Undid revision 882544590 by 212.39.89.118 (talk): revert large unexplained deletion Tag: Undo ← Previous edit		Revision as of 19:23, 17 April 2019 edit undo 89.100.66.238 (talk) Added delSAT to list of implemented Answer Set Solvers Tag: Visual edit: Switched Next edit →
Line 318: \|{{yes}} \|incremental, SAT-solver inspired (nogood, conflict-driven) \|- \|{{rh}}\|[https://github.com/MatthiasNickles/delSAT/ delSAT] \|[[Linux]], [[macOS]], [[Microsoft Windows\|Windows]] ([[Java Virtual Machine]]) \|[[MIT License]] \|{{okay\|Requires grounding}} \| \| \| \|{{yes}} \|SAT-solver based (nogood, conflict-driven). Supports solving probabilistic problems and answer set sampling \|- \|{{rh}}\|[[DLV]]

Answer set programming: Difference between revisions