Examples
Computing Stable Models of Multi-valued Propositional Formulas using Propositional Answer Set Solvers
Example Domains written in the language of MVSM
Leaking Bucket: Consider a leaking bucket with maximum capacity c that loses one unit of water every time step by default. The bucket can be refilled to its maximum capacity by the action fill. The initial capacity is 5 and the desired capacity is 10.