Skip to:
This command falls into the same class as Find Valid State or CBC Sequence: it tries to construct a state where a particular operation is enabled and the invariant holds.
This will probably require adding a Prolog predicate to prob2_interface.
Major
This command falls into the same class as Find Valid State or CBC Sequence: it tries to construct a state where a particular operation is enabled and the invariant holds.
This will probably require adding a Prolog predicate to prob2_interface.