Counting, Sampling, and Probability

This section collects model counting, model sampling, and higher-level probabilistic reasoning built on top of those capabilities.

• Model Counting
  • Introduction to Model Counting
  • Model Counting in Aria
  • Advanced Features
  • References
• Model Sampling
  • Introduction
  • Model Sampling in Aria
  • Related Work
  • References
• Probabilistic Reasoning (aria/prob)
  • Overview
  • API
  • Notes