finitedomain/tests/specs/exports/2016-08-03.js

A fast feature rich finite domain solver

// imported from multiverse. triggered an error uncaught by our tests.
// the regression was related to changed vars not causing their propagators to be revisited
//   pathsolver.spec
//    ex) multi-level
//      ex) 2.b

let config = {
  _class: '$config',
  _varNamesTrie: null,
  varStratConfig: {
    _class: '$var_strat_config',
    type: 'naive',
    priorityByName: undefined,
    _priorityByIndex: undefined,
    inverted: false,
    fallback: undefined,
  },
  valueStratName: 'min',
  targetedVars: 'all',
  varDistOptions: {},
  timeoutCallback: undefined,
  allVarNames: [
    '0',
    '_ROOT_BRANCH_',
    'rootBranch',
    '3',
    '4',
    'A',
    'B',
    '7',
    '8',
    'A&n=1',
    'B&n=1',
    '11',
    '12',
    'A&n=2',
    'B&n=2',
    '15',
    '16',
    '17',
    '18',
    '19',
    '20',
    '21',
    '22',
    '__bind0__',
    '24',
    '25',
    '26',
    '27',
    '28',
    '29',
    '30',
    '31',
    '32',
    '33',
    '34',
  ],
  allConstraints: [
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [6, 2, 7],
      param: 'gte',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [5, 3, 8],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'eq',
      varIndexes: [7, 8],
      param: undefined,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [10, 2, 11],
      param: 'gte',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [9, 3, 12],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'eq',
      varIndexes: [11, 12],
      param: undefined,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [14, 2, 15],
      param: 'gte',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [13, 3, 16],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'eq',
      varIndexes: [15, 16],
      param: undefined,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [5, 3, 17],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [9, 3, 19],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [13, 3, 21],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [23, 24, 25],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'sum',
      varIndexes: [6, 10, 14],
      param: 26,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [26, 24, 27],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'eq',
      varIndexes: [25, 27],
      param: undefined,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [6, 23, 28],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [5, 3, 29],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'gte',
      varIndexes: [28, 29],
      param: undefined,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [10, 23, 30],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [9, 3, 31],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'gte',
      varIndexes: [30, 31],
      param: undefined,
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [14, 23, 32],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'reifier',
      varIndexes: [13, 3, 33],
      param: 'eq',
    },
    {
      _class: '$constraint',
      name: 'gte',
      varIndexes: [32, 33],
      param: undefined,
    },
  ],
  constantCache: {'0': 24, '1': 2, '2': 3, '3': 4},
  initialDomains: [
    [1, 1],
    [1, 1],
    [1, 1],
    [2, 2],
    [3, 3],
    [1, 3],
    [0, 3],
    [0, 1],
    [0, 1],
    [1, 3],
    [0, 3],
    [0, 1],
    [0, 1],
    [1, 3],
    [0, 3],
    [0, 1],
    [0, 1],
    [1, 1],
    [1, 1],
    [1, 1],
    [1, 1],
    [1, 1],
    [1, 1],
    [0, 3],
    [0, 0],
    [0, 1],
    [0, 9],
    [0, 1],
    [0, 1],
    [0, 1],
    [0, 1],
    [0, 1],
    [0, 1],
    [0, 1],
    [0, 100000000]],
  _constrainedAway: [1, 0, 2, 2, 5, 2, 9, 2, 13, 2, 18, 17, 18, 20, 19, 20, 22, 21, 22],
};

export default config;