blob: 7d9cb33094dc93100025e71872c1e4d393320e87 (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 96 07 00 02 01 00 1d 6f 72 67 2f 73 61 74 34 6a 2f 6f 70 74 2f 4d 69	.......1........org/sat4j/opt/Mi
0020	6e 4f 6e 65 44 65 63 6f 72 61 74 6f 72 07 00 04 01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f	nOneDecorator......org/sat4j/too
0040	6c 73 2f 53 6f 6c 76 65 72 44 65 63 6f 72 61 74 6f 72 07 00 06 01 00 24 6f 72 67 2f 73 61 74 34	ls/SolverDecorator.....$org/sat4
0060	6a 2f 73 70 65 63 73 2f 49 4f 70 74 69 6d 69 7a 61 74 69 6f 6e 50 72 6f 62 6c 65 6d 01 00 10 73	j/specs/IOptimizationProblem...s
0080	65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44 01 00 01 4a 01 00 0d 43 6f 6e 73 74 61 6e 74 56 61	erialVersionUID...J...ConstantVa
00a0	6c 75 65 05 00 00 00 00 00 00 00 01 01 00 09 70 72 65 76 6d 6f 64 65 6c 01 00 02 5b 49 01 00 1e	lue............prevmodel...[I...
00c0	70 72 65 76 6d 6f 64 65 6c 57 69 74 68 49 6e 74 65 72 6e 61 6c 56 61 72 69 61 62 6c 65 73 01 00	prevmodelWithInternalVariables..
00e0	11 69 73 53 6f 6c 75 74 69 6f 6e 4f 70 74 69 6d 61 6c 01 00 01 5a 01 00 07 63 6f 75 6e 74 65 72	.isSolutionOptimal...Z...counter
0100	01 00 01 49 01 00 08 6c 69 74 65 72 61 6c 73 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65	...I...literals...Lorg/sat4j/spe
0120	63 73 2f 49 56 65 63 49 6e 74 3b 01 00 0e 70 72 65 76 69 6f 75 73 43 6f 6e 73 74 72 01 00 19 4c	cs/IVecInt;...previousConstr...L
0140	6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 00 06 3c 69 6e 69 74	org/sat4j/specs/IConstr;...<init
0160	3e 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 53 6f 6c 76 65 72 3b 29 56	>...(Lorg/sat4j/specs/ISolver;)V
0180	01 00 04 43 6f 64 65 0a 00 03 00 1b 0c 00 17 00 18 07 00 1d 01 00 15 6f 72 67 2f 73 61 74 34 6a	...Code................org/sat4j
01a0	2f 63 6f 72 65 2f 56 65 63 49 6e 74 0a 00 1c 00 1f 0c 00 17 00 20 01 00 03 28 29 56 09 00 01 00	/core/VecInt.............()V....
01c0	22 0c 00 13 00 14 01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c	"........LineNumberTable...Local
01e0	56 61 72 69 61 62 6c 65 54 61 62 6c 65 01 00 04 74 68 69 73 01 00 1f 4c 6f 72 67 2f 73 61 74 34	VariableTable...this...Lorg/sat4
0200	6a 2f 6f 70 74 2f 4d 69 6e 4f 6e 65 44 65 63 6f 72 61 74 6f 72 3b 01 00 06 73 6f 6c 76 65 72 01	j/opt/MinOneDecorator;...solver.
0220	00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 53 6f 6c 76 65 72 3b 01 00 14 61 64	..Lorg/sat4j/specs/ISolver;...ad
0240	6d 69 74 41 42 65 74 74 65 72 53 6f 6c 75 74 69 6f 6e 01 00 03 28 29 5a 01 00 0a 45 78 63 65 70	mitABetterSolution...()Z...Excep
0260	74 69 6f 6e 73 07 00 2d 01 00 20 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 54 69 6d 65 6f	tions..-...org/sat4j/specs/Timeo
0280	75 74 45 78 63 65 70 74 69 6f 6e 09 00 1c 00 2f 0c 00 30 00 14 01 00 05 45 4d 50 54 59 0a 00 01	utException..../..0.....EMPTY...
02a0	00 32 0c 00 29 00 33 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63	.2..).3...(Lorg/sat4j/specs/IVec
02c0	49 6e 74 3b 29 5a 09 00 01 00 35 0c 00 0f 00 10 0a 00 01 00 37 0c 00 38 00 39 01 00 0d 69 73 53	Int;)Z....5.........7..8.9...isS
02e0	61 74 69 73 66 69 61 62 6c 65 01 00 1d 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	atisfiable...(Lorg/sat4j/specs/I
0300	56 65 63 49 6e 74 3b 5a 29 5a 0a 00 03 00 3b 0c 00 3c 00 3d 01 00 05 6d 6f 64 65 6c 01 00 04 28	VecInt;Z)Z....;..<.=...model...(
0320	29 5b 49 09 00 01 00 3f 0c 00 0c 00 0d 0a 00 03 00 41 0c 00 42 00 3d 01 00 1a 6d 6f 64 65 6c 57	)[I....?.........A..B.=...modelW
0340	69 74 68 49 6e 74 65 72 6e 61 6c 56 61 72 69 61 62 6c 65 73 09 00 01 00 44 0c 00 0e 00 0d 0a 00	ithInternalVariables....D.......
0360	01 00 46 0c 00 47 00 20 01 00 17 63 61 6c 63 75 6c 61 74 65 4f 62 6a 65 63 74 69 76 65 56 61 6c	..F..G.....calculateObjectiveVal
0380	75 65 01 00 07 61 73 73 75 6d 70 73 01 00 06 72 65 73 75 6c 74 01 00 16 68 61 73 4e 6f 4f 62 6a	ue...assumps...result...hasNoObj
03a0	65 63 74 69 76 65 46 75 6e 63 74 69 6f 6e 01 00 1a 6e 6f 6e 4f 70 74 69 6d 61 6c 4d 65 61 6e 73	ectiveFunction...nonOptimalMeans
03c0	53 61 74 69 73 66 69 61 62 6c 65 01 00 12 63 61 6c 63 75 6c 61 74 65 4f 62 6a 65 63 74 69 76 65	Satisfiable...calculateObjective
03e0	01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4e 75 6d 62 65 72 3b 09 00 01 00 4f 0c 00 11 00	...()Ljava/lang/Number;....O....
0400	12 0a 00 51 00 53 07 00 52 01 00 11 6a 61 76 61 2f 6c 61 6e 67 2f 49 6e 74 65 67 65 72 0c 00 54	...Q.S..R...java/lang/Integer..T
0420	00 55 01 00 07 76 61 6c 75 65 4f 66 01 00 16 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 49 6e 74	.U...valueOf...(I)Ljava/lang/Int
0440	65 67 65 72 3b 01 00 01 70 01 00 16 64 69 73 63 61 72 64 43 75 72 72 65 6e 74 53 6f 6c 75 74 69	eger;...p...discardCurrentSoluti
0460	6f 6e 07 00 59 01 00 26 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 43 6f 6e 74 72 61 64 69	on..Y..&org/sat4j/specs/Contradi
0480	63 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 0b 00 5b 00 5d 07 00 5c 01 00 17 6f 72 67 2f 73 61 74	ctionException..[.]..\...org/sat
04a0	34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 0c 00 5e 00 2a 01 00 07 69 73 45 6d 70 74 79 0b	4j/specs/IVecInt..^.*...isEmpty.
04c0	00 5b 00 60 0c 00 61 00 62 01 00 04 70 75 73 68 01 00 1c 28 49 29 4c 6f 72 67 2f 73 61 74 34 6a	.[.`..a.b...push...(I)Lorg/sat4j
04e0	2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 0a 00 01 00 64 0c 00 65 00 66 01 00 05 6e 56 61 72	/specs/IVecInt;....d..e.f...nVar
0500	73 01 00 03 28 29 49 09 00 01 00 68 0c 00 15 00 16 0a 00 03 00 6a 0c 00 6b 00 6c 01 00 0c 72 65	s...()I....h.........j..k.l...re
0520	6d 6f 76 65 43 6f 6e 73 74 72 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	moveConstr...(Lorg/sat4j/specs/I
0540	43 6f 6e 73 74 72 3b 29 5a 0a 00 01 00 6e 0c 00 6f 00 70 01 00 09 61 64 64 41 74 4d 6f 73 74 01	Constr;)Z....n..o.p...addAtMost.
0560	00 35 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 49 29 4c 6f	.5(Lorg/sat4j/specs/IVecInt;I)Lo
0580	72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 00 01 69 01 00 05 72 65	rg/sat4j/specs/IConstr;...i...re
05a0	73 65 74 0b 00 5b 00 74 0c 00 75 00 20 01 00 05 63 6c 65 61 72 0a 00 03 00 77 0c 00 72 00 20 01	set..[.t..u.....clear....w..r...
05c0	00 11 67 65 74 4f 62 6a 65 63 74 69 76 65 56 61 6c 75 65 01 00 07 64 69 73 63 61 72 64 0a 00 01	..getObjectiveValue...discard...
05e0	00 7b 0c 00 57 00 20 01 00 15 66 6f 72 63 65 4f 62 6a 65 63 74 69 76 65 56 61 6c 75 65 54 6f 01	.{..W.....forceObjectiveValueTo.
0600	00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4e 75 6d 62 65 72 3b 29 56 0a 00 7f 00 81 07 00 80 01	..(Ljava/lang/Number;)V.........
0620	00 10 6a 61 76 61 2f 6c 61 6e 67 2f 4e 75 6d 62 65 72 0c 00 82 00 66 01 00 08 69 6e 74 56 61 6c	..java/lang/Number....f...intVal
0640	75 65 01 00 0b 66 6f 72 63 65 64 56 61 6c 75 65 01 00 12 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4e 75	ue...forcedValue...Ljava/lang/Nu
0660	6d 62 65 72 3b 01 00 02 63 65 01 00 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 43 6f	mber;...ce..(Lorg/sat4j/specs/Co
0680	6e 74 72 61 64 69 63 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 3b 01 00 09 69 73 4f 70 74 69 6d 61	ntradictionException;...isOptima
06a0	6c 01 00 22 73 65 74 54 69 6d 65 6f 75 74 46 6f 72 46 69 6e 64 69 6e 67 42 65 74 74 65 72 53 6f	l.."setTimeoutForFindingBetterSo
06c0	6c 75 74 69 6f 6e 01 00 04 28 49 29 56 07 00 8b 01 00 27 6a 61 76 61 2f 6c 61 6e 67 2f 55 6e 73	lution...(I)V.....'java/lang/Uns
06e0	75 70 70 6f 72 74 65 64 4f 70 65 72 61 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 08 00 8d 01 00 12	upportedOperationException......
0700	4e 6f 20 69 6d 70 6c 65 6d 65 6e 74 65 64 20 79 65 74 0a 00 8a 00 8f 0c 00 17 00 90 01 00 15 28	No.implemented.yet.............(
0720	4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 01 00 07 73 65 63 6f 6e 64 73 01 00	Ljava/lang/String;)V...seconds..
0740	0a 53 6f 75 72 63 65 46 69 6c 65 01 00 14 4d 69 6e 4f 6e 65 44 65 63 6f 72 61 74 6f 72 2e 6a 61	.SourceFile...MinOneDecorator.ja
0760	76 61 01 00 09 53 69 67 6e 61 74 75 72 65 01 00 62 4c 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c	va...Signature..bLorg/sat4j/tool
0780	73 2f 53 6f 6c 76 65 72 44 65 63 6f 72 61 74 6f 72 3c 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65	s/SolverDecorator<Lorg/sat4j/spe
07a0	63 73 2f 49 53 6f 6c 76 65 72 3b 3e 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 4f	cs/ISolver;>;Lorg/sat4j/specs/IO
07c0	70 74 69 6d 69 7a 61 74 69 6f 6e 50 72 6f 62 6c 65 6d 3b 00 31 00 01 00 03 00 01 00 05 00 07 00	ptimizationProblem;.1...........
07e0	1a 00 07 00 08 00 01 00 09 00 00 00 02 00 0a 00 02 00 0c 00 0d 00 00 00 02 00 0e 00 0d 00 00 00	................................
0800	02 00 0f 00 10 00 00 00 02 00 11 00 12 00 00 00 12 00 13 00 14 00 00 00 02 00 15 00 16 00 00 00	................................
0820	10 00 01 00 17 00 18 00 01 00 19 00 00 00 4d 00 03 00 02 00 00 00 11 2a 2b b7 00 1a 2a bb 00 1c	..............M........*+...*...
0840	59 b7 00 1e b5 00 21 b1 00 00 00 02 00 23 00 00 00 0e 00 03 00 00 00 3e 00 05 00 6f 00 10 00 3f	Y.....!......#.........>...o...?
0860	00 24 00 00 00 16 00 02 00 00 00 11 00 25 00 26 00 00 00 00 00 11 00 27 00 28 00 01 00 01 00 29	.$...........%.&.......'.(.....)
0880	00 2a 00 02 00 2b 00 00 00 04 00 01 00 2c 00 19 00 00 00 32 00 02 00 01 00 00 00 08 2a b2 00 2e	.*...+.......,.....2........*...
08a0	b6 00 31 ac 00 00 00 02 00 23 00 00 00 06 00 01 00 00 00 42 00 24 00 00 00 0c 00 01 00 00 00 08	..1......#.........B.$..........
08c0	00 25 00 26 00 00 00 01 00 29 00 33 00 02 00 2b 00 00 00 04 00 01 00 2c 00 19 00 00 00 90 00 03	.%.&.....).3...+.......,........
08e0	00 03 00 00 00 2e 2a 03 b5 00 34 2a 2b 04 b6 00 36 3d 1c 99 00 1a 2a 2a b7 00 3a b5 00 3e 2a 2a	......*...4*+...6=....**..:..>**
0900	b7 00 40 b5 00 43 2a b7 00 45 a7 00 08 2a 04 b5 00 34 1c ac 00 00 00 02 00 23 00 00 00 2a 00 0a	..@..C*..E...*...4.......#...*..
0920	00 00 00 4a 00 05 00 4b 00 0c 00 4c 00 10 00 4d 00 18 00 4e 00 1a 00 4f 00 1d 00 4e 00 20 00 50	...J...K...L...M...N...O...N...P
0940	00 27 00 52 00 2c 00 54 00 24 00 00 00 20 00 03 00 00 00 2e 00 25 00 26 00 00 00 00 00 2e 00 48	.'.R.,.T.$...........%.&.......H
0960	00 14 00 01 00 0c 00 22 00 49 00 10 00 02 00 01 00 4a 00 2a 00 01 00 19 00 00 00 2c 00 01 00 01	.......".I.......J.*.......,....
0980	00 00 00 02 03 ac 00 00 00 02 00 23 00 00 00 06 00 01 00 00 00 58 00 24 00 00 00 0c 00 01 00 00	...........#.........X.$........
09a0	00 02 00 25 00 26 00 00 00 01 00 4b 00 2a 00 01 00 19 00 00 00 2c 00 01 00 01 00 00 00 02 04 ac	...%.&.....K.*.......,..........
09c0	00 00 00 02 00 23 00 00 00 06 00 01 00 00 00 5c 00 24 00 00 00 0c 00 01 00 00 00 02 00 25 00 26	.....#.........\.$...........%.&
09e0	00 00 00 01 00 4c 00 4d 00 01 00 19 00 00 00 3a 00 01 00 01 00 00 00 0c 2a b7 00 45 2a b4 00 4e	.....L.M.......:........*..E*..N
0a00	b8 00 50 b0 00 00 00 02 00 23 00 00 00 0a 00 02 00 00 00 62 00 04 00 63 00 24 00 00 00 0c 00 01	..P......#.........b...c.$......
0a20	00 00 00 0c 00 25 00 26 00 00 00 02 00 47 00 20 00 01 00 19 00 00 00 77 00 03 00 05 00 00 00 2f	.....%.&.....G.........w......./
0a40	2a 03 b5 00 4e 2a b4 00 3e 59 3a 04 be 3e 03 3d a7 00 19 19 04 1c 2e 3c 1b 9e 00 0d 2a 59 b4 00	*...N*..>Y:..>.=.......<....*Y..
0a60	4e 04 60 b5 00 4e 84 02 01 1c 1d a1 ff e8 b1 00 00 00 02 00 23 00 00 00 1a 00 06 00 00 00 67 00	N.`..N..............#.........g.
0a80	05 00 68 00 18 00 69 00 1c 00 6a 00 26 00 68 00 2e 00 6d 00 24 00 00 00 16 00 02 00 00 00 2f 00	..h...i...j.&.h...m.$........./.
0aa0	25 00 26 00 00 00 18 00 0e 00 56 00 12 00 01 00 01 00 57 00 20 00 02 00 2b 00 00 00 04 00 01 00	%.&.......V.......W.....+.......
0ac0	58 00 19 00 00 00 9a 00 05 00 02 00 00 00 4a 2a b4 00 21 b9 00 5a 01 00 99 00 1e 04 3c a7 00 11	X.............J*..!..Z......<...
0ae0	2a b4 00 21 1b b9 00 5f 02 00 57 84 01 01 1b 2a b6 00 63 a4 ff ed 2a b4 00 67 c6 00 0c 2a 2a b4	*..!..._..W....*..c...*..g...**.
0b00	00 67 b7 00 69 57 2a 2a 2a b4 00 21 2a b4 00 4e 04 64 b6 00 6d b5 00 67 b1 00 00 00 02 00 23 00	.g..iW***..!*..N.d..m..g......#.
0b20	00 00 22 00 08 00 00 00 77 00 0c 00 78 00 11 00 79 00 1c 00 78 00 27 00 7c 00 2e 00 7d 00 37 00	..".....w...x...y...x.'.|...}.7.
0b40	7f 00 49 00 80 00 24 00 00 00 16 00 02 00 00 00 4a 00 25 00 26 00 00 00 0e 00 19 00 71 00 12 00	..I...$.........J.%.&.......q...
0b60	01 00 01 00 3c 00 3d 00 01 00 19 00 00 00 2f 00 01 00 01 00 00 00 05 2a b4 00 3e b0 00 00 00 02	....<.=......./........*..>.....
0b80	00 23 00 00 00 06 00 01 00 00 00 85 00 24 00 00 00 0c 00 01 00 00 00 05 00 25 00 26 00 00 00 01	.#...........$...........%.&....
0ba0	00 42 00 3d 00 01 00 19 00 00 00 2f 00 01 00 01 00 00 00 05 2a b4 00 43 b0 00 00 00 02 00 23 00	.B.=......./........*..C......#.
0bc0	00 00 06 00 01 00 00 00 8a 00 24 00 00 00 0c 00 01 00 00 00 05 00 25 00 26 00 00 00 01 00 72 00	..........$...........%.&.....r.
0be0	20 00 01 00 19 00 00 00 49 00 02 00 01 00 00 00 13 2a b4 00 21 b9 00 73 01 00 2a 01 b5 00 67 2a	........I........*..!..s..*...g*
0c00	b7 00 76 b1 00 00 00 02 00 23 00 00 00 12 00 04 00 00 00 8f 00 09 00 90 00 0e 00 91 00 12 00 92	..v......#......................
0c20	00 24 00 00 00 0c 00 01 00 00 00 13 00 25 00 26 00 00 00 01 00 78 00 4d 00 01 00 19 00 00 00 32	.$...........%.&.....x.M.......2
0c40	00 01 00 01 00 00 00 08 2a b4 00 4e b8 00 50 b0 00 00 00 02 00 23 00 00 00 06 00 01 00 00 00 98	........*..N..P......#..........
0c60	00 24 00 00 00 0c 00 01 00 00 00 08 00 25 00 26 00 00 00 01 00 79 00 20 00 02 00 2b 00 00 00 04	.$...........%.&.....y.....+....
0c80	00 01 00 58 00 19 00 00 00 33 00 01 00 01 00 00 00 05 2a b6 00 7a b1 00 00 00 02 00 23 00 00 00	...X.....3........*..z......#...
0ca0	0a 00 02 00 00 00 9c 00 04 00 9d 00 24 00 00 00 0c 00 01 00 00 00 05 00 25 00 26 00 00 00 01 00	............$...........%.&.....
0cc0	7c 00 7d 00 02 00 2b 00 00 00 04 00 01 00 58 00 19 00 00 00 6f 00 03 00 03 00 00 00 19 2a 2a b4	|.}...+.......X.....o........**.
0ce0	00 21 2b b6 00 7e b6 00 6d 57 a7 00 0b 4d 2a 04 b5 00 34 2c bf b1 00 01 00 00 00 0d 00 10 00 58	.!+..~..mW...M*...4,...........X
0d00	00 02 00 23 00 00 00 16 00 05 00 00 00 a5 00 10 00 a6 00 11 00 a7 00 16 00 a8 00 18 00 ab 00 24	...#...........................$
0d20	00 00 00 20 00 03 00 00 00 19 00 25 00 26 00 00 00 00 00 19 00 83 00 84 00 01 00 11 00 07 00 85	...........%.&..................
0d40	00 86 00 02 00 01 00 87 00 2a 00 01 00 19 00 00 00 2f 00 01 00 01 00 00 00 05 2a b4 00 34 ac 00	.........*......./........*..4..
0d60	00 00 02 00 23 00 00 00 06 00 01 00 00 00 ae 00 24 00 00 00 0c 00 01 00 00 00 05 00 25 00 26 00	....#...........$...........%.&.
0d80	00 00 01 00 88 00 89 00 01 00 19 00 00 00 3e 00 03 00 02 00 00 00 0a bb 00 8a 59 12 8c b7 00 8e	..............>...........Y.....
0da0	bf 00 00 00 02 00 23 00 00 00 06 00 01 00 00 00 b3 00 24 00 00 00 16 00 02 00 00 00 0a 00 25 00	......#...........$...........%.
0dc0	26 00 00 00 00 00 0a 00 91 00 12 00 01 00 02 00 92 00 00 00 02 00 93 00 94 00 00 00 02 00 95	&..............................