finitedomain
Version:
A fast feature rich finite domain solver
472 lines (467 loc) • 7.19 kB
JavaScript
// this is exported from the "// h w/ unbalanced tail" test in constraints.coffee in multiverse
// included because the runtime of the test regressed from immediate to to infinite
let config = {
_class: '$config',
varStratConfig: {
type: 'naive',
},
valueStratName: 'min',
targetedVars: 'all',
varDistOptions: {
width: {list: [4], valtype: 'list'},
'width&n=1': {list: [4], valtype: 'list'},
'width&n=2': {list: [4], valtype: 'list'},
},
timeoutCallback: undefined,
allVarNames: [
'0',
'_ROOT_BRANCH_',
'SECTION',
'3',
'4',
'5',
'6',
'VERSE_INDEX',
'8',
'ITEM_INDEX',
'10',
'11',
'width',
'color',
'post_type',
'state',
'SECTION&n=1',
'VERSE_INDEX&n=1',
'ITEM_INDEX&n=1',
'width&n=1',
'color&n=1',
'post_type&n=1',
'state&n=1',
'SECTION&n=2',
'VERSE_INDEX&n=2',
'ITEM_INDEX&n=2',
'width&n=2',
'color&n=2',
'post_type&n=2',
'state&n=2',
'SECTION&n=3',
'VERSE_INDEX&n=3',
'ITEM_INDEX&n=3',
'width&n=3',
'color&n=3',
'post_type&n=3',
'state&n=3',
'SECTION&n=4',
'VERSE_INDEX&n=4',
'ITEM_INDEX&n=4',
'width&n=4',
'color&n=4',
'post_type&n=4',
'state&n=4',
'SECTION&n=5',
'VERSE_INDEX&n=5',
'ITEM_INDEX&n=5',
'width&n=5',
'color&n=5',
'post_type&n=5',
'state&n=5',
'SECTION&n=6',
'VERSE_INDEX&n=6',
'ITEM_INDEX&n=6',
'width&n=6',
'color&n=6',
'post_type&n=6',
'state&n=6',
'58',
'59',
'60',
'61',
'62',
'63',
'64',
'65',
'66',
'67',
'68',
'69',
'70',
'71',
'72',
'73',
'74',
'75',
'76',
'77',
'78',
'79',
'80',
'81',
'82',
'83',
'84',
'85',
'86',
'87',
'88',
'89',
'90',
'91',
'92',
'93',
'94',
'95',
'96',
'97',
'98',
'99',
'100',
'101',
'102',
'103',
'104',
'105',
'106',
'107',
'108',
'109',
'110',
'111',
'112',
'113',
'114',
'115',
'116',
'117',
'118',
'119',
'120',
'121',
'122',
'123',
'124',
'125',
'126',
'127',
'128',
'129',
'130',
'131',
'132',
'133',
'134',
'135',
'136',
'137',
'138',
'139',
'140',
'141',
'142',
'143',
'144',
'145',
'146',
'147',
'148',
'149',
'150',
'151',
'152',
'153',
'154',
'155',
'156',
'157',
'158',
'159',
'160',
'161',
'162',
'163',
'164',
'165',
'166',
'167',
'168',
'169',
'170',
'171',
'172',
'173',
'174',
'175',
'176',
'177',
'178',
'179',
'180',
'181',
'182',
'183',
'184',
'185',
'186',
'187',
'188',
'189',
'190',
'191',
'192',
'193',
'194',
'195',
'196',
'197',
'198',
'199',
'200',
'201',
'202',
'203',
'204',
'205',
'206',
'207',
'208',
'209',
'210',
'211',
'212',
'213',
'214',
'215',
],
allConstraints: [
{_class: '$constraint', name: 'reifier', varIndexes: [12, 4, 164], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [19, 4, 165], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [26, 4, 166], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [164, 165, 166], param: 171},
{_class: '$constraint', name: 'reifier', varIndexes: [171, 8, 172], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [152], param: 209},
{_class: '$constraint', name: 'reifier', varIndexes: [209, 172, 211], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [207, 0, 208], param: 'gte'},
{_class: '$constraint', name: 'plus', varIndexes: [172, 0, 214], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [209, 214, 215], param: 'eq'},
{_class: '$constraint', name: 'neq', varIndexes: [211, 215], param: undefined},
],
constantCache: {},
initialDomains: [
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[], // 207
[], // 208
[], // 209
[], // 210
[], // 211
[], // 212
[], // 213
[], // 214
[], // 215
],
};
export default config;