📄️ Goal: Model Counting
In 10 minutes, we'll cover most of RSDD's basic functionality.
📄️ Setup and Boilerplate
Setup the barebones Rust tooling to start a project with RSDD.
📄️ BDDs and Variable Orders
Learn how to use Binary Decision Diagrams and define a variable ordering.
📄️ SDDs and VTrees
Learn how to use Sentential Decision Diagrams and create a corresponding VTree.
📄️ Model Counting
Perform (weighted) model counting over finite fields.
📄️ Serialize
Serialize data structures for debugging and re-use.
📄️ Next Steps
Congrats! But, there's much more to do!