- cross-posted to:
- hackernews@derp.foo
- cross-posted to:
- hackernews@derp.foo
It uses PRISM, a “probabilistic model checker”, so not your typical theorem prover or SAT solver.
You must log in or register to comment.
Ive never heard of a language for probabilistic modeling before but thank you good sir for this fine contribution to the library of random facts that is my brain.