Reverse Dependencies of clingox
The following projects have a declared dependency on clingox:
- deolingo — A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP).
- dumbo-asp — Utilities for Answer Set Programming
1