Answer set programming: Difference between revisions

Content deleted Content added
Comparison of implementations: Fix cite date error
mNo edit summary
Line 324:
|-
|{{rh}}|[https://github.com/MatthiasNickles/diff-SAT/ diff-SAT]
|[[Linux]], [[macOS]], [[Microsoft Windows|Windows]] ([[Java Virtualvirtual Machinemachine]])
|[[MIT License]]
|{{okay|Requires grounding}}