Last released Jul 26, 2026
Qualitative reasoning about dynamical systems: QSIM and friends, with tensorized/GPU execution in PyTorch.
Last released Jul 25, 2026
Decomposable Negation Normal Form (DNNF) compilation, weighted inference, and diagnosis, with optional PyTorch GPU evaluation
Supported by
