blob: 66287e189e15db8af1539b6d4aa2d1160406affa (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 93 07 00 02 01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61	.......1........org/sat4j/minisa
0020	74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 24 39 07 00 04 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 4f	t/core/Solver$9......java/lang/O
0040	62 6a 65 63 74 07 00 06 01 00 39 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72	bject.....9org/sat4j/minisat/cor
0060	65 2f 4c 65 61 72 6e 65 64 43 6f 6e 73 74 72 61 69 6e 74 73 44 65 6c 65 74 69 6f 6e 53 74 72 61	e/LearnedConstraintsDeletionStra
0080	74 65 67 79 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 6f	tegy...serialVersionUID...J...Co
00a0	6e 73 74 61 6e 74 56 61 6c 75 65 05 00 00 00 00 00 00 00 01 01 00 07 66 72 65 65 4d 65 6d 01 00	nstantValue............freeMem..
00c0	26 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 66 6c 69 63	&Lorg/sat4j/minisat/core/Conflic
00e0	74 54 69 6d 65 72 3b 01 00 06 74 68 69 73 24 30 01 00 1f 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69	tTimer;...this$0...Lorg/sat4j/mi
0100	6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3b 01 00 06 3c 69 6e 69 74 3e 01 00 48 28 4c	nisat/core/Solver;...<init>..H(L
0120	6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3b 4c 6f	org/sat4j/minisat/core/Solver;Lo
0140	72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 66 6c 69 63 74 54 69	rg/sat4j/minisat/core/ConflictTi
0160	6d 65 72 3b 29 56 01 00 04 43 6f 64 65 09 00 01 00 14 0c 00 0e 00 0f 0a 00 03 00 16 0c 00 10 00	mer;)V...Code...................
0180	17 01 00 03 28 29 56 09 00 01 00 19 0c 00 0c 00 0d 01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61	....()V.............LineNumberTa
01a0	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 68 69 73 01	ble...LocalVariableTable...this.
01c0	00 21 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72	.!Lorg/sat4j/minisat/core/Solver
01e0	24 39 3b 01 00 06 72 65 64 75 63 65 01 00 19 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73	$9;...reduce...(Lorg/sat4j/specs
0200	2f 49 56 65 63 3b 29 56 01 00 09 53 69 67 6e 61 74 75 72 65 01 00 3a 28 4c 6f 72 67 2f 73 61 74	/IVec;)V...Signature..:(Lorg/sat
0220	34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3c 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74	4j/specs/IVec<Lorg/sat4j/minisat
0240	2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 3e 3b 29 56 0a 00 23 00 25 07 00 24 01 00 1d 6f 72 67 2f	/core/Constr;>;)V..#.%..$...org/
0260	73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 0c 00 26 00 17 01 00	sat4j/minisat/core/Solver..&....
0280	0e 73 6f 72 74 4f 6e 41 63 74 69 76 69 74 79 09 00 23 00 28 0c 00 29 00 2a 01 00 07 6c 65 61 72	.sortOnActivity..#.(..).*...lear
02a0	6e 74 73 01 00 16 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3b 0b 00 2c 00	nts...Lorg/sat4j/specs/IVec;..,.
02c0	2e 07 00 2d 01 00 14 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 0c 00 2f 00 30	...-...org/sat4j/specs/IVec../.0
02e0	01 00 03 67 65 74 01 00 15 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 07 00	...get...(I)Ljava/lang/Object;..
0300	32 01 00 1d 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74	2...org/sat4j/minisat/core/Const
0320	72 0b 00 31 00 34 0c 00 35 00 36 01 00 06 6c 6f 63 6b 65 64 01 00 03 28 29 5a 0b 00 31 00 38 0c	r..1.4..5.6...locked...()Z..1.8.
0340	00 39 00 3a 01 00 04 73 69 7a 65 01 00 03 28 29 49 0b 00 2c 00 3c 0c 00 3d 00 3e 01 00 03 73 65	.9.:...size...()I..,.<..=.>...se
0360	74 01 00 16 28 49 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 56 0b 00 31 00 40 0c	t...(ILjava/lang/Object;)V..1.@.
0380	00 41 00 42 01 00 06 72 65 6d 6f 76 65 01 00 2c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63	.A.B...remove..,(Lorg/sat4j/spec
03a0	73 2f 55 6e 69 74 50 72 6f 70 61 67 61 74 69 6f 6e 4c 69 73 74 65 6e 65 72 3b 29 56 0b 00 2c 00	s/UnitPropagationListener;)V..,.
03c0	38 0a 00 23 00 45 0c 00 46 00 47 01 00 08 61 63 63 65 73 73 24 34 01 00 22 28 4c 6f 72 67 2f 73	8..#.E..F.G...access$4.."(Lorg/s
03e0	61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 6f 6c 76 65 72 3b 29 5a 09 00 23 00 49	at4j/minisat/core/Solver;)Z..#.I
0400	0c 00 4a 00 4b 01 00 03 6f 75 74 01 00 1a 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49	..J.K...out...Lorg/sat4j/specs/I
0420	4c 6f 67 41 62 6c 65 3b 07 00 4d 01 00 17 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75	LogAble;..M...java/lang/StringBu
0440	69 6c 64 65 72 0a 00 23 00 4f 0c 00 50 00 51 01 00 0c 67 65 74 4c 6f 67 50 72 65 66 69 78 01 00	ilder..#.O..P.Q...getLogPrefix..
0460	14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00 53 00 55 07 00 54 01 00 10	.()Ljava/lang/String;..S.U..T...
0480	6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 0c 00 56 00 57 01 00 07 76 61 6c 75 65 4f 66 01	java/lang/String..V.W...valueOf.
04a0	00 26 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67	.&(Ljava/lang/Object;)Ljava/lang
04c0	2f 53 74 72 69 6e 67 3b 0a 00 4c 00 59 0c 00 10 00 5a 01 00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67	/String;..L.Y....Z...(Ljava/lang
04e0	2f 53 74 72 69 6e 67 3b 29 56 08 00 5c 01 00 09 63 6c 65 61 6e 69 6e 67 20 0a 00 4c 00 5e 0c 00	/String;)V..\...cleaning...L.^..
0500	5f 00 60 01 00 06 61 70 70 65 6e 64 01 00 2d 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e	_.`...append..-(Ljava/lang/Strin
0520	67 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c 64 65 72 3b 0a 00 4c 00	g;)Ljava/lang/StringBuilder;..L.
0540	62 0c 00 5f 00 63 01 00 1c 28 49 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69	b.._.c...(I)Ljava/lang/StringBui
0560	6c 64 65 72 3b 08 00 65 01 00 10 20 63 6c 61 75 73 65 73 20 6f 75 74 20 6f 66 20 0a 00 4c 00 67	lder;..e....clauses.out.of...L.g
0580	0c 00 68 00 51 01 00 08 74 6f 53 74 72 69 6e 67 0b 00 6a 00 6c 07 00 6b 01 00 18 6f 72 67 2f 73	..h.Q...toString..j.l..k...org/s
05a0	61 74 34 6a 2f 73 70 65 63 73 2f 49 4c 6f 67 41 62 6c 65 0c 00 6d 00 5a 01 00 03 6c 6f 67 0b 00	at4j/specs/ILogAble..m.Z...log..
05c0	2c 00 6f 0c 00 70 00 71 01 00 08 73 68 72 69 6e 6b 54 6f 01 00 04 28 49 29 56 01 00 0e 6c 65 61	,.o..p.q...shrinkTo...(I)V...lea
05e0	72 6e 65 64 43 6f 6e 73 74 72 73 01 00 01 69 01 00 01 49 01 00 01 6a 01 00 01 63 01 00 1f 4c 6f	rnedConstrs...i...I...j...c...Lo
0600	72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 01 00 16	rg/sat4j/minisat/core/Constr;...
0620	4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 79 70 65 54 61 62 6c 65 01 00 37 4c 6f 72 67 2f 73 61	LocalVariableTypeTable..7Lorg/sa
0640	74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 3c 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61	t4j/specs/IVec<Lorg/sat4j/minisa
0660	74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 3e 3b 01 00 08 67 65 74 54 69 6d 65 72 01 00 28 28 29	t/core/Constr;>;...getTimer..(()
0680	4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 66 6c 69 63 74	Lorg/sat4j/minisat/core/Conflict
06a0	54 69 6d 65 72 3b 08 00 7d 01 00 32 4d 65 6d 6f 72 79 20 62 61 73 65 64 20 6c 65 61 72 6e 65 64	Timer;..}..2Memory.based.learned
06c0	20 63 6f 6e 73 74 72 61 69 6e 74 73 20 64 65 6c 65 74 69 6f 6e 20 73 74 72 61 74 65 67 79 01 00	.constraints.deletion.strategy..
06e0	04 69 6e 69 74 01 00 10 6f 6e 43 6c 61 75 73 65 4c 65 61 72 6e 69 6e 67 01 00 22 28 4c 6f 72 67	.init...onClauseLearning.."(Lorg
0700	2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 43 6f 6e 73 74 72 3b 29 56 01 00 06	/sat4j/minisat/core/Constr;)V...
0720	63 6f 6e 73 74 72 01 00 12 6f 6e 43 6f 6e 66 6c 69 63 74 41 6e 61 6c 79 73 69 73 0b 00 31 00 84	constr...onConflictAnalysis..1..
0740	0c 00 85 00 36 01 00 06 6c 65 61 72 6e 74 0a 00 23 00 87 0c 00 88 00 80 01 00 0f 63 6c 61 42 75	....6...learnt..#..........claBu
0760	6d 70 41 63 74 69 76 69 74 79 01 00 06 72 65 61 73 6f 6e 01 00 0d 6f 6e 50 72 6f 70 61 67 61 74	mpActivity...reason...onPropagat
0780	69 6f 6e 01 00 04 66 72 6f 6d 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 0b 53 6f 6c 76 65 72	ion...from...SourceFile...Solver
07a0	2e 6a 61 76 61 01 00 0f 45 6e 63 6c 6f 73 69 6e 67 4d 65 74 68 6f 64 0c 00 90 00 91 01 00 0d 61	.java...EnclosingMethod........a
07c0	63 74 69 76 69 74 79 42 61 73 65 64 01 00 63 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73	ctivityBased..c(Lorg/sat4j/minis
07e0	61 74 2f 63 6f 72 65 2f 43 6f 6e 66 6c 69 63 74 54 69 6d 65 72 3b 29 4c 6f 72 67 2f 73 61 74 34	at/core/ConflictTimer;)Lorg/sat4
0800	6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 65 64 43 6f 6e 73 74 72 61 69 6e 74	j/minisat/core/LearnedConstraint
0820	73 44 65 6c 65 74 69 6f 6e 53 74 72 61 74 65 67 79 3b 01 00 0c 49 6e 6e 65 72 43 6c 61 73 73 65	sDeletionStrategy;...InnerClasse
0840	73 00 20 00 01 00 03 00 01 00 05 00 03 00 1a 00 07 00 08 00 01 00 09 00 00 00 02 00 0a 00 12 00	s...............................
0860	0c 00 0d 00 00 10 10 00 0e 00 0f 00 00 00 08 00 00 00 10 00 11 00 01 00 12 00 00 00 41 00 02 00	............................A...
0880	03 00 00 00 0f 2a 2b b5 00 13 2a b7 00 15 2a 2c b5 00 18 b1 00 00 00 02 00 1a 00 00 00 0e 00 03	.....*+...*...*,................
08a0	00 00 00 01 00 05 06 5e 00 09 06 62 00 1b 00 00 00 0c 00 01 00 00 00 0f 00 1c 00 1d 00 00 00 01	.......^...b....................
08c0	00 1e 00 1f 00 02 00 20 00 00 00 02 00 21 00 12 00 00 01 b8 00 04 00 05 00 00 01 10 2a b4 00 13	.............!..............*...
08e0	b6 00 22 03 59 3e 3d a7 00 5b 2a b4 00 13 b4 00 27 1c b9 00 2b 02 00 c0 00 31 3a 04 19 04 b9 00	..".Y>=..[*.....'...+....1:.....
0900	33 01 00 9a 00 0e 19 04 b9 00 37 01 00 05 a0 00 26 2a b4 00 13 b4 00 27 1d 84 03 01 2a b4 00 13	3.........7.....&*.....'....*...
0920	b4 00 27 1c b9 00 2b 02 00 c0 00 31 b9 00 3b 03 00 a7 00 0e 19 04 2a b4 00 13 b9 00 3f 02 00 84	..'...+....1..;.......*.....?...
0940	02 01 1c 2a b4 00 13 b4 00 27 b9 00 43 01 00 05 6c a1 ff 99 a7 00 26 2a b4 00 13 b4 00 27 1d 84	...*.....'..C...l.....&*.....'..
0960	03 01 2a b4 00 13 b4 00 27 1c b9 00 2b 02 00 c0 00 31 b9 00 3b 03 00 84 02 01 1c 2a b4 00 13 b4	..*.....'...+....1..;......*....
0980	00 27 b9 00 43 01 00 a1 ff d0 2a b4 00 13 b8 00 44 99 00 4d 2a b4 00 13 b4 00 48 bb 00 4c 59 2a	.'..C.....*.....D..M*.....H..LY*
09a0	b4 00 13 b6 00 4e b8 00 52 b7 00 58 12 5b b6 00 5d 2a b4 00 13 b4 00 27 b9 00 43 01 00 1d 64 b6	.....N..R..X.[..]*.....'..C...d.
09c0	00 61 12 64 b6 00 5d 2a b4 00 13 b4 00 27 b9 00 43 01 00 b6 00 61 b6 00 66 b9 00 69 02 00 2a b4	.a.d..]*.....'..C....a..f..i..*.
09e0	00 13 b4 00 27 1d b9 00 6e 02 00 b1 00 00 00 03 00 1a 00 00 00 4a 00 12 00 00 06 65 00 07 06 67	....'...n............J.....e...g
0a00	00 0e 06 68 00 20 06 69 00 35 06 6a 00 3c 06 6b 00 58 06 6d 00 63 06 67 00 78 06 70 00 7b 06 71	...h...i.5.j.<.k.X.m.c.g.x.p.{.q
0a20	00 9b 06 70 00 ae 06 73 00 b8 06 74 00 d0 06 75 00 e6 06 76 00 fd 06 74 01 02 06 79 01 0f 06 7a	...p...s...t...u...v...t...y...z
0a40	00 1b 00 00 00 34 00 05 00 00 01 10 00 1c 00 1d 00 00 00 00 01 10 00 72 00 2a 00 01 00 0b 01 05	.....4.................r.*......
0a60	00 73 00 74 00 02 00 0a 01 06 00 75 00 74 00 03 00 20 00 43 00 76 00 77 00 04 00 78 00 00 00 0c	.s.t.......u.t.....C.v.w...x....
0a80	00 01 00 00 01 10 00 72 00 79 00 01 00 01 00 7a 00 7b 00 01 00 12 00 00 00 2f 00 01 00 01 00 00	.......r.y.....z.{......./......
0aa0	00 05 2a b4 00 18 b0 00 00 00 02 00 1a 00 00 00 06 00 01 00 00 06 7d 00 1b 00 00 00 0c 00 01 00	..*...................}.........
0ac0	00 00 05 00 1c 00 1d 00 00 00 01 00 68 00 51 00 01 00 12 00 00 00 2d 00 01 00 01 00 00 00 03 12	............h.Q.......-.........
0ae0	7c b0 00 00 00 02 00 1a 00 00 00 06 00 01 00 00 06 82 00 1b 00 00 00 0c 00 01 00 00 00 03 00 1c	|...............................
0b00	00 1d 00 00 00 01 00 7e 00 17 00 01 00 12 00 00 00 2b 00 00 00 01 00 00 00 01 b1 00 00 00 02 00	.......~.........+..............
0b20	1a 00 00 00 06 00 01 00 00 06 87 00 1b 00 00 00 0c 00 01 00 00 00 01 00 1c 00 1d 00 00 00 01 00	................................
0b40	7f 00 80 00 01 00 12 00 00 00 35 00 00 00 02 00 00 00 01 b1 00 00 00 02 00 1a 00 00 00 06 00 01	..........5.....................
0b60	00 00 06 8c 00 1b 00 00 00 16 00 02 00 00 00 01 00 1c 00 1d 00 00 00 00 00 01 00 81 00 77 00 01	.............................w..
0b80	00 01 00 82 00 80 00 01 00 12 00 00 00 4e 00 02 00 02 00 00 00 12 2b b9 00 83 01 00 99 00 0b 2a	.............N........+........*
0ba0	b4 00 13 2b b6 00 86 b1 00 00 00 02 00 1a 00 00 00 0e 00 03 00 00 06 8f 00 09 06 90 00 11 06 92	...+............................
0bc0	00 1b 00 00 00 16 00 02 00 00 00 12 00 1c 00 1d 00 00 00 00 00 12 00 89 00 77 00 01 00 01 00 8a	.........................w......
0be0	00 80 00 01 00 12 00 00 00 35 00 00 00 02 00 00 00 01 b1 00 00 00 02 00 1a 00 00 00 06 00 01 00	.........5......................
0c00	00 06 96 00 1b 00 00 00 16 00 02 00 00 00 01 00 1c 00 1d 00 00 00 00 00 01 00 8b 00 77 00 01 00	............................w...
0c20	03 00 8c 00 00 00 02 00 8d 00 8e 00 00 00 04 00 23 00 8f 00 92 00 00 00 0a 00 01 00 01 00 00 00	................#...............
0c40	00 00 00	...