Revision as of 19:54, 18 December 2020 edit Monkbot (talk \| contribs) Bots 3,695,952 edits m Task 18 (cosmetic): eval 15 templates: hyphenate params (8×); Tag: AWB ← Previous edit		Revision as of 20:15, 8 February 2021 edit undo 79.97.230.46 (talk) delSAT is now called diff-SAT Next edit →
Line 319: \|incremental, SAT-solver inspired (nogood, conflict-driven) \|- \|{{rh}}\|[https://github.com/MatthiasNickles/~~delSAT~~diff-SAT/ ~~delSAT~~diff-SAT] \|[[Linux]], [[macOS]], [[Microsoft Windows\|Windows]] ([[Java Virtual Machine]]) \|[[MIT License]]

Answer set programming: Difference between revisions