Reverse Dependencies of logical-unification

The following projects have a declared dependency on logical-unification:

• aemcmc-nightly — Miscellaneous MCMC samplers written in Aesara
• aesara — A library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
• cons — An implementation of Lisp/Scheme-like cons in Python.
• DecoyFree-MSFDR — A package to estimate FDR in mass-spectrometry searching results using decoy-free approach
• miniKanren — Relational programming in Python
• pytensor — Optimizing compiler for evaluating mathematical expressions on CPUs and GPUs.