blob: ea5651c1081d31542eecbe28b3d32aa64f7e3719 (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 4f 07 00 02 01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f	.......1.O......org/sat4j/tools/
0020	65 6e 63 6f 64 69 6e 67 2f 4c 61 64 64 65 72 07 00 04 01 00 30 6f 72 67 2f 73 61 74 34 6a 2f 74	encoding/Ladder.....0org/sat4j/t
0040	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 79 41 64	ools/encoding/EncodingStrategyAd
0060	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 00 0d 43	apter...serialVersionUID...J...C
0080	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 3e 01 00	onstantValue............<init>..
00a0	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 75 6d 62	.()V...Code.............LineNumb
00c0	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 00 04 74	erTable...LocalVariableTable...t
00e0	68 69 73 01 00 21 4c 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f 65 6e 63 6f 64 69 6e 67 2f	his..!Lorg/sat4j/tools/encoding/
0100	4c 61 64 64 65 72 3b 01 00 0c 61 64 64 41 74 4d 6f 73 74 4f 6e 65 01 00 4d 28 4c 6f 72 67 2f 73	Ladder;...addAtMostOne..M(Lorg/s
0120	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 74 34 6a 2f 73 70	at4j/specs/ISolver;Lorg/sat4j/sp
0140	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 65 63 73 2f 49 43	ecs/IVecInt;)Lorg/sat4j/specs/IC
0160	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 72 67 2f 73 61 74	onstr;...Exceptions.....&org/sat
0180	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 70 74 69 6f 6e 07	4j/specs/ContradictionException.
01a0	00 19 01 00 1a 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 0a	.....org/sat4j/core/ConstrGroup.
01c0	00 18 00 1b 0c 00 0a 00 1c 01 00 04 28 5a 29 56 0b 00 1e 00 20 07 00 1f 01 00 17 6f 72 67 2f 73	............(Z)V...........org/s
01e0	61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 0c 00 21 00 22 01 00 04 73 69 7a 65 01 00	at4j/specs/IVecInt..!."...size..
0200	03 28 29 49 0b 00 24 00 26 07 00 25 01 00 17 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	.()I..$.&..%...org/sat4j/specs/I
0220	53 6f 6c 76 65 72 0c 00 27 00 28 01 00 0d 6e 65 78 74 46 72 65 65 56 61 72 49 64 01 00 04 28 5a	Solver..'.(...nextFreeVarId...(Z
0240	29 49 07 00 2a 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 29	)I..*...org/sat4j/core/VecInt..)
0260	00 0e 0b 00 1e 00 2d 0c 00 2e 00 2f 01 00 04 70 75 73 68 01 00 1c 28 49 29 4c 6f 72 67 2f 73 61	......-..../...push...(I)Lorg/sa
0280	74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 0b 00 24 00 31 0c 00 32 00 33 01 00 09 61	t4j/specs/IVecInt;..$.1..2.3...a
02a0	64 64 43 6c 61 75 73 65 01 00 34 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65	ddClause..4(Lorg/sat4j/specs/IVe
02c0	63 49 6e 74 3b 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 0a	cInt;)Lorg/sat4j/specs/IConstr;.
02e0	00 18 00 35 0c 00 36 00 37 01 00 03 61 64 64 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70	...5..6.7...add...(Lorg/sat4j/sp
0300	65 63 73 2f 49 43 6f 6e 73 74 72 3b 29 56 0b 00 1e 00 39 0c 00 3a 00 0b 01 00 05 63 6c 65 61 72	ecs/IConstr;)V....9..:.....clear
0320	0b 00 1e 00 3c 0c 00 3d 00 3e 01 00 03 67 65 74 01 00 04 28 49 29 49 01 00 06 73 6f 6c 76 65 72	....<..=.>...get...(I)I...solver
0340	01 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 08 6c	...Lorg/sat4j/specs/ISolver;...l
0360	69 74 65 72 61 6c 73 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49	iterals...Lorg/sat4j/specs/IVecI
0380	6e 74 3b 01 00 05 67 72 6f 75 70 01 00 1c 4c 6f 72 67 2f 73 61 74 34 6a 2f 63 6f 72 65 2f 43 6f	nt;...group...Lorg/sat4j/core/Co
03a0	6e 73 74 72 47 72 6f 75 70 3b 01 00 01 6e 01 00 01 49 01 00 02 78 4e 01 00 01 79 01 00 02 5b 49	nstrGroup;...n...I...xN...y...[I
03c0	01 00 01 69 01 00 06 63 6c 61 75 73 65 01 00 0d 61 64 64 45 78 61 63 74 6c 79 4f 6e 65 01 00 0a	...i...clause...addExactlyOne...
03e0	53 6f 75 72 63 65 46 69 6c 65 01 00 0b 4c 61 64 64 65 72 2e 6a 61 76 61 00 21 00 01 00 03 00 00	SourceFile...Ladder.java.!......
0400	00 01 00 1a 00 05 00 06 00 01 00 07 00 00 00 02 00 08 00 03 00 01 00 0a 00 0b 00 01 00 0c 00 00	................................
0420	00 2f 00 01 00 01 00 00 00 05 2a b7 00 0d b1 00 00 00 02 00 0f 00 00 00 06 00 01 00 00 00 33 00	./........*...................3.
0440	10 00 00 00 0c 00 01 00 00 00 05 00 11 00 12 00 00 00 01 00 13 00 14 00 02 00 15 00 00 00 04 00	................................
0460	01 00 16 00 0c 00 00 03 92 00 04 00 09 00 00 02 2c bb 00 18 59 03 b7 00 1a 4e 2c b9 00 1d 01 00	................,...Y....N,.....
0480	04 60 36 04 2b 04 b9 00 23 02 00 36 05 15 04 04 64 bc 0a 3a 06 03 36 07 a7 00 12 19 06 15 07 2b	.`6.+...#..6....d..:..6........+
04a0	04 b9 00 23 02 00 4f 84 07 01 15 07 15 04 04 64 a1 ff eb bb 00 29 59 b7 00 2b 3a 07 04 36 08 a7	...#..O........d.....)Y..+:..6..
04c0	00 36 19 07 19 06 15 08 2e 74 b9 00 2c 02 00 57 19 07 19 06 15 08 04 64 2e b9 00 2c 02 00 57 2d	.6.......t..,..W.......d...,..W-
04e0	2b 19 07 b9 00 30 02 00 b6 00 34 19 07 b9 00 38 01 00 84 08 01 15 08 15 04 05 64 a4 ff c7 05 36	+....0....4....8..........d....6
0500	08 a7 00 4a 19 07 19 06 15 08 05 64 2e 74 b9 00 2c 02 00 57 19 07 19 06 15 08 04 64 2e b9 00 2c	...J.......d.t..,..W.......d...,
0520	02 00 57 19 07 2c 15 08 04 64 b9 00 3b 02 00 b9 00 2c 02 00 57 2d 2b 19 07 b9 00 30 02 00 b6 00	..W..,...d..;....,..W-+....0....
0540	34 19 07 b9 00 38 01 00 84 08 01 15 08 15 04 04 64 a4 ff b3 05 36 08 a7 00 3b 19 07 2c 15 08 04	4....8..........d....6...;..,...
0560	64 b9 00 3b 02 00 74 b9 00 2c 02 00 57 19 07 19 06 15 08 05 64 2e b9 00 2c 02 00 57 2d 2b 19 07	d..;..t..,..W.......d...,..W-+..
0580	b9 00 30 02 00 b6 00 34 19 07 b9 00 38 01 00 84 08 01 15 08 15 04 04 64 a4 ff c2 05 36 08 a7 00	..0....4....8..........d....6...
05a0	3c 19 07 2c 15 08 04 64 b9 00 3b 02 00 74 b9 00 2c 02 00 57 19 07 19 06 15 08 04 64 2e 74 b9 00	<..,...d..;..t..,..W.......d.t..
05c0	2c 02 00 57 2d 2b 19 07 b9 00 30 02 00 b6 00 34 19 07 b9 00 38 01 00 84 08 01 15 08 15 04 04 64	,..W-+....0....4....8..........d
05e0	a4 ff c1 19 07 19 06 03 2e b9 00 2c 02 00 57 19 07 2c 03 b9 00 3b 02 00 b9 00 2c 02 00 57 2d 2b	...........,..W..,...;....,..W-+
0600	19 07 b9 00 30 02 00 b6 00 34 19 07 b9 00 38 01 00 19 07 19 06 03 2e 74 b9 00 2c 02 00 57 19 07	....0....4....8........t..,..W..
0620	2c 03 b9 00 3b 02 00 74 b9 00 2c 02 00 57 2d 2b 19 07 b9 00 30 02 00 b6 00 34 19 07 b9 00 38 01	,...;..t..,..W-+....0....4....8.
0640	00 19 07 19 06 15 04 05 64 2e 74 b9 00 2c 02 00 57 19 07 15 05 b9 00 2c 02 00 57 2d 2b 19 07 b9	........d.t..,..W......,..W-+...
0660	00 30 02 00 b6 00 34 19 07 b9 00 38 01 00 19 07 19 06 15 04 05 64 2e b9 00 2c 02 00 57 19 07 15	.0....4....8.........d...,..W...
0680	05 74 b9 00 2c 02 00 57 2d 2b 19 07 b9 00 30 02 00 b6 00 34 19 07 b9 00 38 01 00 2d b0 00 00 00	.t..,..W-+....0....4....8..-....
06a0	02 00 0f 00 00 00 ca 00 32 00 00 00 42 00 09 00 43 00 13 00 45 00 1c 00 46 00 24 00 48 00 2a 00	........2...B...C...E...F.$.H.*.
06c0	49 00 36 00 48 00 42 00 4c 00 4b 00 4f 00 51 00 50 00 5f 00 51 00 6e 00 52 00 7a 00 53 00 81 00	I.6.H.B.L.K.O.Q.P._.Q.n.R.z.S...
06e0	4f 00 8d 00 57 00 93 00 58 00 a3 00 59 00 b2 00 5a 00 c4 00 5b 00 d0 00 5c 00 d7 00 57 00 e3 00	O...W...X...Y...Z...[...\...W...
0700	60 00 e9 00 61 00 fc 00 62 01 0b 00 63 01 17 00 64 01 1e 00 60 01 2a 00 68 01 30 00 69 01 43 00	`...a...b...c...d...`.*.h.0.i.C.
0720	6a 01 53 00 6b 01 5f 00 6c 01 66 00 68 01 72 00 70 01 7e 00 71 01 8d 00 72 01 99 00 73 01 a0 00	j.S.k._.l.f.h.r.p.~.q...r...s...
0740	76 01 ad 00 77 01 bd 00 78 01 c9 00 79 01 d0 00 7c 01 e0 00 7d 01 ea 00 7e 01 f6 00 7f 01 fd 00	v...w...x...y...|...}...~.......
0760	82 02 0c 00 83 02 17 00 84 02 23 00 85 02 2a 00 87 00 10 00 00 00 84 00 0d 00 00 02 2c 00 11 00	..........#...*.............,...
0780	12 00 00 00 00 02 2c 00 3f 00 40 00 01 00 00 02 2c 00 41 00 42 00 02 00 09 02 23 00 43 00 44 00	......,.?.@.....,.A.B.....#.C.D.
07a0	03 00 13 02 19 00 45 00 46 00 04 00 1c 02 10 00 47 00 46 00 05 00 24 02 08 00 48 00 49 00 06 00	......E.F.......G.F...$...H.I...
07c0	27 00 1b 00 4a 00 46 00 07 00 4b 01 e1 00 4b 00 42 00 07 00 4e 00 3f 00 4a 00 46 00 08 00 90 00	'...J.F...K...K.B...N.?.J.F.....
07e0	53 00 4a 00 46 00 08 00 e6 00 44 00 4a 00 46 00 08 01 2d 00 45 00 4a 00 46 00 08 00 01 00 4c 00	S.J.F.....D.J.F...-.E.J.F.....L.
0800	14 00 02 00 15 00 00 00 04 00 01 00 16 00 0c 00 00 03 bc 00 04 00 08 00 00 02 54 bb 00 18 59 03	..........................T...Y.
0820	b7 00 1a 4e 2c b9 00 1d 01 00 36 04 bb 00 29 59 b7 00 2b 3a 05 15 04 04 a0 00 20 19 05 2c 03 b9	...N,.....6...)Y..+:.........,..
0840	00 3b 02 00 b9 00 2c 02 00 57 2d 2b 19 05 b9 00 30 02 00 b6 00 34 2d b0 15 04 04 64 bc 0a 3a 06	.;....,..W-+....0....4-....d..:.
0860	03 36 07 a7 00 12 19 06 15 07 2b 04 b9 00 23 02 00 4f 84 07 01 15 07 15 04 04 64 a1 ff eb 04 36	.6........+...#..O........d....6
0880	07 a7 00 36 19 05 19 06 15 07 2e 74 b9 00 2c 02 00 57 19 05 19 06 15 07 04 64 2e b9 00 2c 02 00	...6.......t..,..W.......d...,..
08a0	57 2d 2b 19 05 b9 00 30 02 00 b6 00 34 19 05 b9 00 38 01 00 84 07 01 15 07 15 04 05 64 a4 ff c7	W-+....0....4....8..........d...
08c0	05 36 07 a7 00 4a 19 05 19 06 15 07 05 64 2e 74 b9 00 2c 02 00 57 19 05 19 06 15 07 04 64 2e b9	.6...J.......d.t..,..W.......d..
08e0	00 2c 02 00 57 19 05 2c 15 07 04 64 b9 00 3b 02 00 b9 00 2c 02 00 57 2d 2b 19 05 b9 00 30 02 00	.,..W..,...d..;....,..W-+....0..
0900	b6 00 34 19 05 b9 00 38 01 00 84 07 01 15 07 15 04 04 64 a4 ff b3 05 36 07 a7 00 3b 19 05 2c 15	..4....8..........d....6...;..,.
0920	07 04 64 b9 00 3b 02 00 74 b9 00 2c 02 00 57 19 05 19 06 15 07 05 64 2e b9 00 2c 02 00 57 2d 2b	..d..;..t..,..W.......d...,..W-+
0940	19 05 b9 00 30 02 00 b6 00 34 19 05 b9 00 38 01 00 84 07 01 15 07 15 04 04 64 a4 ff c2 05 36 07	....0....4....8..........d....6.
0960	a7 00 3c 19 05 2c 15 07 04 64 b9 00 3b 02 00 74 b9 00 2c 02 00 57 19 05 19 06 15 07 04 64 2e 74	..<..,...d..;..t..,..W.......d.t
0980	b9 00 2c 02 00 57 2d 2b 19 05 b9 00 30 02 00 b6 00 34 19 05 b9 00 38 01 00 84 07 01 15 07 15 04	..,..W-+....0....4....8.........
09a0	04 64 a4 ff c1 19 05 19 06 03 2e b9 00 2c 02 00 57 19 05 2c 03 b9 00 3b 02 00 b9 00 2c 02 00 57	.d...........,..W..,...;....,..W
09c0	2d 2b 19 05 b9 00 30 02 00 b6 00 34 19 05 b9 00 38 01 00 19 05 19 06 03 2e 74 b9 00 2c 02 00 57	-+....0....4....8........t..,..W
09e0	19 05 2c 03 b9 00 3b 02 00 74 b9 00 2c 02 00 57 2d 2b 19 05 b9 00 30 02 00 b6 00 34 19 05 b9 00	..,...;..t..,..W-+....0....4....
0a00	38 01 00 19 05 19 06 15 04 05 64 2e 74 b9 00 2c 02 00 57 19 05 2c 15 04 04 64 b9 00 3b 02 00 b9	8.........d.t..,..W..,...d..;...
0a20	00 2c 02 00 57 2d 2b 19 05 b9 00 30 02 00 b6 00 34 19 05 b9 00 38 01 00 19 05 19 06 15 04 05 64	.,..W-+....0....4....8.........d
0a40	2e b9 00 2c 02 00 57 19 05 2c 15 04 04 64 b9 00 3b 02 00 74 b9 00 2c 02 00 57 2d 2b 19 05 b9 00	...,..W..,...d..;..t..,..W-+....
0a60	30 02 00 b6 00 34 19 05 b9 00 38 01 00 2d b0 00 00 00 02 00 0f 00 00 00 d6 00 35 00 00 00 92 00	0....4....8..-............5.....
0a80	09 00 93 00 11 00 95 00 1a 00 97 00 20 00 98 00 2f 00 99 00 3b 00 9a 00 3d 00 9d 00 45 00 9f 00	................/...;...=...E...
0aa0	4b 00 a0 00 57 00 9f 00 63 00 a4 00 69 00 a5 00 77 00 a6 00 86 00 a7 00 92 00 a8 00 99 00 a4 00	K...W...c...i...w...............
0ac0	a5 00 ac 00 ab 00 ad 00 bb 00 ae 00 ca 00 af 00 dc 00 b0 00 e8 00 b1 00 ef 00 ac 00 fb 00 b5 01	................................
0ae0	01 00 b6 01 14 00 b7 01 23 00 b8 01 2f 00 b9 01 36 00 b5 01 42 00 bd 01 48 00 be 01 5b 00 bf 01	........#.../...6...B...H...[...
0b00	6b 00 c0 01 77 00 c1 01 7e 00 bd 01 8a 00 c5 01 96 00 c6 01 a5 00 c7 01 b1 00 c8 01 b8 00 cb 01	k...w...~.......................
0b20	c5 00 cc 01 d5 00 cd 01 e1 00 ce 01 e8 00 d1 01 f8 00 d2 02 0a 00 d3 02 16 00 d4 02 1d 00 d7 02	................................
0b40	2c 00 d8 02 3f 00 d9 02 4b 00 da 02 52 00 dc 00 10 00 00 00 7a 00 0c 00 00 02 54 00 11 00 12 00	,...?...K...R.......z.....T.....
0b60	00 00 00 02 54 00 3f 00 40 00 01 00 00 02 54 00 41 00 42 00 02 00 09 02 4b 00 43 00 44 00 03 00	....T.?.@.....T.A.B.....K.C.D...
0b80	11 02 43 00 45 00 46 00 04 00 1a 02 3a 00 4b 00 42 00 05 00 45 02 0f 00 48 00 49 00 06 00 48 00	..C.E.F.....:.K.B...E...H.I...H.
0ba0	1b 00 4a 00 46 00 07 00 66 00 3f 00 4a 00 46 00 07 00 a8 00 53 00 4a 00 46 00 07 00 fe 00 44 00	..J.F...f.?.J.F.....S.J.F.....D.
0bc0	4a 00 46 00 07 01 45 00 45 00 4a 00 46 00 07 00 01 00 4d 00 00 00 02 00 4e	J.F...E.E.J.F.....M.....N