blob: 0414fb8564126846487300972c33778efb61d02a (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 70 07 00 02 01 00 22 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f	.......1.p....."org/sat4j/tools/
0020	65 6e 63 6f 64 69 6e 67 2f 43 6f 6d 6d 61 6e 64 65 72 07 00 04 01 00 30 6f 72 67 2f 73 61 74 34	encoding/Commander.....0org/sat4
0040	6a 2f 74 6f 6f 6c 73 2f 65 6e 63 6f 64 69 6e 67 2f 45 6e 63 6f 64 69 6e 67 53 74 72 61 74 65 67	j/tools/encoding/EncodingStrateg
0060	79 41 64 61 70 74 65 72 01 00 10 73 65 72 69 61 6c 56 65 72 73 69 6f 6e 55 49 44 01 00 01 4a 01	yAdapter...serialVersionUID...J.
0080	00 0d 43 6f 6e 73 74 61 6e 74 56 61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 06 3c 69 6e 69 74	..ConstantValue............<init
00a0	3e 01 00 03 28 29 56 01 00 04 43 6f 64 65 0a 00 03 00 0e 0c 00 0a 00 0b 01 00 0f 4c 69 6e 65 4e	>...()V...Code.............LineN
00c0	75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 61 62 6c 65 01	umberTable...LocalVariableTable.
00e0	00 04 74 68 69 73 01 00 24 4c 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f 65 6e 63 6f 64 69	..this..$Lorg/sat4j/tools/encodi
0100	6e 67 2f 43 6f 6d 6d 61 6e 64 65 72 3b 01 00 0c 61 64 64 41 74 4d 6f 73 74 4f 6e 65 01 00 4d 28	ng/Commander;...addAtMostOne..M(
0120	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 4c 6f 72 67 2f 73 61	Lorg/sat4j/specs/ISolver;Lorg/sa
0140	74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70	t4j/specs/IVecInt;)Lorg/sat4j/sp
0160	65 63 73 2f 49 43 6f 6e 73 74 72 3b 01 00 0a 45 78 63 65 70 74 69 6f 6e 73 07 00 17 01 00 26 6f	ecs/IConstr;...Exceptions.....&o
0180	72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 43 6f 6e 74 72 61 64 69 63 74 69 6f 6e 45 78 63 65	rg/sat4j/specs/ContradictionExce
01a0	70 74 69 6f 6e 0a 00 01 00 19 0c 00 13 00 1a 01 00 4e 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70	ption............N(Lorg/sat4j/sp
01c0	65 63 73 2f 49 53 6f 6c 76 65 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65	ecs/ISolver;Lorg/sat4j/specs/IVe
01e0	63 49 6e 74 3b 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b	cInt;I)Lorg/sat4j/specs/IConstr;
0200	01 00 06 73 6f 6c 76 65 72 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 53 6f	...solver...Lorg/sat4j/specs/ISo
0220	6c 76 65 72 3b 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	lver;...literals...Lorg/sat4j/sp
0240	65 63 73 2f 49 56 65 63 49 6e 74 3b 07 00 20 01 00 1a 6f 72 67 2f 73 61 74 34 6a 2f 63 6f 72 65	ecs/IVecInt;......org/sat4j/core
0260	2f 43 6f 6e 73 74 72 47 72 6f 75 70 0a 00 1f 00 22 0c 00 0a 00 23 01 00 04 28 5a 29 56 07 00 25	/ConstrGroup...."....#...(Z)V..%
0280	01 00 15 6f 72 67 2f 73 61 74 34 6a 2f 63 6f 72 65 2f 56 65 63 49 6e 74 0a 00 24 00 0e 0b 00 28	...org/sat4j/core/VecInt..$....(
02a0	00 2a 07 00 29 01 00 17 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 0c	.*..)...org/sat4j/specs/IVecInt.
02c0	00 2b 00 2c 01 00 04 73 69 7a 65 01 00 03 28 29 49 0a 00 2e 00 30 07 00 2f 01 00 0e 6a 61 76 61	.+.,...size...()I....0../...java
02e0	2f 6c 61 6e 67 2f 4d 61 74 68 0c 00 31 00 32 01 00 04 63 65 69 6c 01 00 04 28 44 29 44 0b 00 28	/lang/Math..1.2...ceil...(D)D..(
0300	00 34 0c 00 35 00 36 01 00 03 67 65 74 01 00 04 28 49 29 49 0b 00 28 00 38 0c 00 39 00 3a 01 00	.4..5.6...get...(I)I..(.8..9.:..
0320	04 70 75 73 68 01 00 1c 28 49 29 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63	.push...(I)Lorg/sat4j/specs/IVec
0340	49 6e 74 3b 0b 00 3c 00 3e 07 00 3d 01 00 17 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	Int;..<.>..=...org/sat4j/specs/I
0360	53 6f 6c 76 65 72 0c 00 3f 00 40 01 00 09 61 64 64 43 6c 61 75 73 65 01 00 34 28 4c 6f 72 67 2f	Solver..?.@...addClause..4(Lorg/
0380	73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 29 4c 6f 72 67 2f 73 61 74 34 6a 2f	sat4j/specs/IVecInt;)Lorg/sat4j/
03a0	73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 0a 00 1f 00 42 0c 00 43 00 44 01 00 03 61 64 64 01 00	specs/IConstr;....B..C.D...add..
03c0	1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 43 6f 6e 73 74 72 3b 29 56 0b 00 28	.(Lorg/sat4j/specs/IConstr;)V..(
03e0	00 46 0c 00 47 00 0b 01 00 05 63 6c 65 61 72 0b 00 3c 00 49 0c 00 4a 00 4b 01 00 0d 6e 65 78 74	.F..G.....clear..<.I..J.K...next
0400	46 72 65 65 56 61 72 49 64 01 00 04 28 5a 29 49 0a 00 24 00 4d 0c 00 0a 00 4e 01 00 05 28 5b 49	FreeVarId...(Z)I..$.M....N...([I
0420	29 56 01 00 09 67 72 6f 75 70 53 69 7a 65 01 00 01 49 01 00 0b 63 6f 6e 73 74 72 47 72 6f 75 70	)V...groupSize...I...constrGroup
0440	01 00 1c 4c 6f 72 67 2f 73 61 74 34 6a 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 47 72 6f 75 70 3b 01	...Lorg/sat4j/core/ConstrGroup;.
0460	00 06 63 6c 61 75 73 65 01 00 07 63 6c 61 75 73 65 31 01 00 01 6e 01 00 07 6e 62 47 72 6f 75 70	..clause...clause1...n...nbGroup
0480	01 00 01 69 01 00 01 6a 01 00 01 63 01 00 02 5b 49 01 00 0e 6e 62 56 61 72 4c 61 73 74 47 72 6f	...i...j...c...[I...nbVarLastGro
04a0	75 70 01 00 01 6b 01 00 09 61 64 64 41 74 4d 6f 73 74 0a 00 03 00 5f 0c 00 5d 00 1a 01 00 06 64	up...k...addAtMost...._..].....d
04c0	65 67 72 65 65 01 00 0d 61 64 64 45 78 61 63 74 6c 79 4f 6e 65 0a 00 1f 00 0e 0a 00 01 00 64 0c	egree...addExactlyOne.........d.
04e0	00 65 00 14 01 00 0d 61 64 64 41 74 4c 65 61 73 74 4f 6e 65 0a 00 01 00 67 0c 00 13 00 14 01 00	.e.....addAtLeastOne....g.......
0500	05 67 72 6f 75 70 01 00 0a 61 64 64 45 78 61 63 74 6c 79 0a 00 01 00 6b 0c 00 6c 00 1a 01 00 0a	.group...addExactly....k..l.....
0520	61 64 64 41 74 4c 65 61 73 74 0a 00 01 00 5f 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 0e 43	addAtLeast...._...SourceFile...C
0540	6f 6d 6d 61 6e 64 65 72 2e 6a 61 76 61 00 21 00 01 00 03 00 00 00 01 00 1a 00 05 00 06 00 01 00	ommander.java.!.................
0560	07 00 00 00 02 00 08 00 06 00 01 00 0a 00 0b 00 01 00 0c 00 00 00 2f 00 01 00 01 00 00 00 05 2a	....................../........*
0580	b7 00 0d b1 00 00 00 02 00 0f 00 00 00 06 00 01 00 00 00 37 00 10 00 00 00 0c 00 01 00 00 00 05	...................7............
05a0	00 11 00 12 00 00 00 01 00 13 00 14 00 02 00 15 00 00 00 04 00 01 00 16 00 0c 00 00 00 46 00 04	.............................F..
05c0	00 03 00 00 00 08 2a 2b 2c 06 b7 00 18 b0 00 00 00 02 00 0f 00 00 00 06 00 01 00 00 00 47 00 10	......*+,....................G..
05e0	00 00 00 20 00 03 00 00 00 08 00 11 00 12 00 00 00 00 00 08 00 1b 00 1c 00 01 00 00 00 08 00 1d	................................
0600	00 1e 00 02 00 02 00 13 00 1a 00 02 00 15 00 00 00 04 00 01 00 16 00 0c 00 00 03 87 00 06 00 0f	................................
0620	00 00 01 ed bb 00 1f 59 03 b7 00 21 3a 04 bb 00 24 59 b7 00 26 3a 05 bb 00 24 59 b7 00 26 3a 06	.......Y...!:...$Y..&:...$Y..&:.
0640	2c b9 00 27 01 00 36 07 2c b9 00 27 01 00 87 1d 87 6f b8 00 2d 8e 36 08 15 08 04 a0 00 69 03 36	,..'..6.,..'.....o..-.6......i.6
0660	09 a7 00 53 15 09 04 60 36 0a a7 00 3c 19 05 2c 15 09 b9 00 33 02 00 74 b9 00 37 02 00 57 19 05	...S...`6...<..,....3..t..7..W..
0680	2c 15 0a b9 00 33 02 00 74 b9 00 37 02 00 57 19 04 2b 19 05 b9 00 3b 02 00 b6 00 41 19 05 b9 00	,....3..t..7..W..+....;....A....
06a0	45 01 00 84 0a 01 15 0a 2c b9 00 27 01 00 a1 ff bf 84 09 01 15 09 2c b9 00 27 01 00 04 64 a1 ff	E.......,..'..........,..'...d..
06c0	a6 19 04 b0 15 08 bc 0a 3a 09 03 36 0a a7 00 12 19 09 15 0a 2b 04 b9 00 48 02 00 4f 84 0a 01 15	........:..6........+...H..O....
06e0	0a 15 08 a1 ff ed 15 07 15 08 04 64 1d 68 64 36 0a 03 36 0b a7 00 ff 03 36 0c 15 0b 15 08 04 64	...........d.hd6..6.....6......d
0700	a0 00 0a 15 0a 36 0c a7 00 06 1d 36 0c 03 36 0d a7 00 59 15 0d 04 60 36 0e a7 00 46 19 05 2c 15	.....6.....6..6...Y...`6...F..,.
0720	0b 1d 68 15 0d 60 b9 00 33 02 00 74 b9 00 37 02 00 57 19 05 2c 15 0b 1d 68 15 0e 60 b9 00 33 02	..h..`..3..t..7..W..,...h..`..3.
0740	00 74 b9 00 37 02 00 57 19 04 2b 19 05 b9 00 3b 02 00 b6 00 41 19 05 b9 00 45 01 00 84 0e 01 15	.t..7..W..+....;....A....E......
0760	0e 15 0c a1 ff b9 84 0d 01 15 0d 15 0c 04 64 a1 ff a4 19 06 19 09 15 0b 2e 74 b9 00 37 02 00 57	..............d..........t..7..W
0780	03 36 0d a7 00 52 19 06 2c 15 0b 1d 68 15 0d 60 b9 00 33 02 00 b9 00 37 02 00 57 19 05 19 09 15	.6...R..,...h..`..3....7..W.....
07a0	0b 2e b9 00 37 02 00 57 19 05 2c 15 0b 1d 68 15 0d 60 b9 00 33 02 00 74 b9 00 37 02 00 57 19 04	....7..W..,...h..`..3..t..7..W..
07c0	2b 19 05 b9 00 3b 02 00 b6 00 41 19 05 b9 00 45 01 00 84 0d 01 15 0d 15 0c a1 ff ad 19 04 2b 19	+....;....A....E..............+.
07e0	06 b9 00 3b 02 00 b6 00 41 19 06 b9 00 45 01 00 84 0b 01 15 0b 15 08 a1 ff 00 19 04 2a 2b bb 00	...;....A....E..............*+..
0800	24 59 19 09 b7 00 4c 1d b7 00 18 b6 00 41 19 04 b0 00 00 00 02 00 0f 00 00 00 c2 00 30 00 00 00	$Y....L......A..............0...
0820	4d 00 0a 00 4f 00 13 00 50 00 1c 00 52 00 24 00 54 00 2b 00 55 00 2d 00 54 00 34 00 57 00 3a 00	M...O...P...R.$.T.+.U.-.T.4.W.:.
0840	58 00 40 00 59 00 49 00 5a 00 5a 00 5b 00 6b 00 5c 00 78 00 5d 00 7f 00 59 00 8d 00 58 00 9d 00	X.@.Y.I.Z.Z.[.k.\.x.]...Y...X...
0860	60 00 a0 00 63 00 a6 00 65 00 ac 00 66 00 b8 00 65 00 c2 00 69 00 cd 00 6c 00 d3 00 6d 00 d6 00	`...c...e...f...e...i...l...m...
0880	6e 00 df 00 6f 00 e6 00 71 00 e9 00 74 00 ef 00 75 00 f8 00 76 01 0e 00 77 01 24 00 78 01 31 00	n...o...q...t...u...v...w.$.x.1.
08a0	79 01 38 00 75 01 42 00 74 01 4e 00 81 01 5c 00 82 01 62 00 83 01 77 00 84 01 84 00 85 01 9a 00	y.8.u.B.t.N...\...b...w.........
08c0	86 01 a7 00 87 01 ae 00 82 01 b8 00 89 01 c5 00 8a 01 cc 00 6c 01 d6 00 8f 01 ea 00 90 00 10 00	....................l...........
08e0	00 00 c0 00 13 00 00 01 ed 00 11 00 12 00 00 00 00 01 ed 00 1b 00 1c 00 01 00 00 01 ed 00 1d 00	................................
0900	1e 00 02 00 00 01 ed 00 4f 00 50 00 03 00 0a 01 e3 00 51 00 52 00 04 00 13 01 da 00 53 00 1e 00	........O.P.......Q.R.......S...
0920	05 00 1c 01 d1 00 54 00 1e 00 06 00 24 01 c9 00 55 00 50 00 07 00 34 01 b9 00 56 00 50 00 08 00	......T.....$...U.P...4...V.P...
0940	3d 00 60 00 57 00 50 00 09 00 46 00 47 00 58 00 50 00 0a 00 a6 01 47 00 59 00 5a 00 09 00 a9 00	=.`.W.P...F.G.X.P.....G.Y.Z.....
0960	19 00 57 00 50 00 0a 00 cd 01 20 00 5b 00 50 00 0a 00 d0 01 06 00 57 00 50 00 0b 00 d6 00 f6 00	..W.P.......[.P.......W.P.......
0980	2b 00 50 00 0c 00 ec 00 62 00 58 00 50 00 0d 00 f5 00 4d 00 5c 00 50 00 0e 01 5f 00 59 00 58 00	+.P.....b.X.P.....M.\.P..._.Y.X.
09a0	50 00 0d 00 01 00 5d 00 1a 00 02 00 15 00 00 00 04 00 01 00 16 00 0c 00 00 00 50 00 04 00 04 00	P.....]...................P.....
09c0	00 00 08 2a 2b 2c 1d b7 00 5e b0 00 00 00 02 00 0f 00 00 00 06 00 01 00 00 00 96 00 10 00 00 00	...*+,...^......................
09e0	2a 00 04 00 00 00 08 00 11 00 12 00 00 00 00 00 08 00 1b 00 1c 00 01 00 00 00 08 00 1d 00 1e 00	*...............................
0a00	02 00 00 00 08 00 60 00 50 00 03 00 01 00 61 00 14 00 02 00 15 00 00 00 04 00 01 00 16 00 0c 00	......`.P.....a.................
0a20	00 00 72 00 04 00 04 00 00 00 1e bb 00 1f 59 b7 00 62 4e 2d 2a 2b 2c b6 00 63 b6 00 41 2d 2a 2b	..r...........Y..bN-*+,..c..A-*+
0a40	2c b6 00 66 b6 00 41 2d b0 00 00 00 02 00 0f 00 00 00 12 00 04 00 00 00 9c 00 08 00 9e 00 12 00	,..f..A-........................
0a60	9f 00 1c 00 a1 00 10 00 00 00 2a 00 04 00 00 00 1e 00 11 00 12 00 00 00 00 00 1e 00 1b 00 1c 00	..........*.....................
0a80	01 00 00 00 1e 00 1d 00 1e 00 02 00 08 00 16 00 68 00 52 00 03 00 01 00 69 00 1a 00 02 00 15 00	................h.R.....i.......
0aa0	00 00 04 00 01 00 16 00 0c 00 00 00 82 00 05 00 05 00 00 00 24 bb 00 1f 59 b7 00 62 3a 04 19 04	....................$...Y..b:...
0ac0	2a 2b 2c 1d b6 00 6a b6 00 41 19 04 2a 2b 2c 1d b6 00 6d b6 00 41 19 04 b0 00 00 00 02 00 0f 00	*+,...j..A..*+,...m..A..........
0ae0	00 00 12 00 04 00 00 00 a7 00 09 00 a9 00 15 00 aa 00 21 00 ac 00 10 00 00 00 34 00 05 00 00 00	..................!.......4.....
0b00	24 00 11 00 12 00 00 00 00 00 24 00 1b 00 1c 00 01 00 00 00 24 00 1d 00 1e 00 02 00 00 00 24 00	$.........$.........$.........$.
0b20	60 00 50 00 03 00 09 00 1b 00 68 00 52 00 04 00 01 00 6e 00 00 00 02 00 6f	`.P.......h.R.....n.....o