Running Exw.exe ergodicSysMSMN_NAND.ex..
-------------------------------------


Single NAND System

initial model a = NOT (b AND c)
{
  {0},
  {
    {2,3,3},
    {
      {
        1,
        {2,3},
        {1,1}
      }
    },
    {
      {
        2,
        {1}
      },
      {
        3,
        {1}
      }
    }
  },
  {0,1,1},
  {2,3}
}
first iteration
State Vector:    {0,1,1}
cUpdate:         {}
cUpdate is empty so no more iterations needed

all iterations at once
State Vector:    {0,1,1}
cUpdate:         {}

then change c=0

State Vector:    {0,1,0}
cUpdate:         {3}

first iteration
State Vector:    {1,1,0}
cUpdate:         {1}

second iteration
State Vector:    {1,1,0}
cUpdate:         {}
this second iteration doesn't change the state vector, it only clears the cUpdate list



Process terminated successfully.
Exit code: 0