Nice, you don't see clingo mentioned often. We use it in the Spack package manager for resolving dependencies [1] [1] https://github.com/spack/spack/blob/devel

Nice, you don't see clingo mentioned often. We use it in the Spack package manager for resolving dependencies [1] [1] https://github.com/spack/spack/blob/develop/lib/spack/spack/solver/concretize.lp https://github.com/spack/spack/blob/develop/lib/spack/spack/...