search

probsys / sppl

Probabilistic programming system for fast and exact symbolic inference
Apache License 2.0
76 stars 10 forks source link

Implement "solve" for multivariate event #13

Closed fsaad closed 4 years ago

fsaad commented 4 years ago

Should return a dictionary of solutions, one for each symbol.

fsaad commented 4 years ago

The function solve_dnf_symbolwise from this comment partly solves this ticket: https://github.com/probcomp/sum-product-dsl/commit/da75fcd8d83995edbda8d6a3a413d6dc1ea1bc2c