Revision as of 19:23, 17 April 2019 edit 89.100.66.238 (talk) Added delSAT to list of implemented Answer Set Solvers Tag: Visual edit: Switched ← Previous edit		Revision as of 08:31, 23 April 2019 edit undo 89.100.66.238 (talk) No edit summary Next edit →
Line 327: \| \|{{yes}} \|SAT-solver ~~based~~inspired (nogood, conflict-driven). Supports solving probabilistic problems and answer set sampling \|- \|{{rh}}\|[[DLV]]

Answer set programming: Difference between revisions