Reverse Dependencies of miniKanren

The following projects have a declared dependency on miniKanren:

• aemcmc-nightly — Miscellaneous MCMC samplers written in Aesara
• aesara — A library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
• pytensor — Optimizing compiler for evaluating mathematical expressions on CPUs and GPUs.