def __init__(self, constraints, programs, symbolic_random=None):
self.random = <NUM_LIT:0><EOL>self._constraints = constraints<EOL>super().__init__(programs)<EOL>
Builds a symbolic extension of a Decree OS
:param constraints: a constraint set
:param cpus: CPU for this platform
:param mem: memory for this platform