blob: 09c5715ba77417a90438641c7ffdcb63b809cbde (plain)

ofs	hex dump	ascii
0000	ca fe ba be 00 00 00 31 00 9c 07 00 02 01 00 15 6f 72 67 2f 73 61 74 34 6a 2f 4d 6f 72 65 54 68	.......1........org/sat4j/MoreTh
0020	61 6e 53 41 54 07 00 04 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 01 00 06 3c 69	anSAT......java/lang/Object...<i
0040	6e 69 74 3e 01 00 03 28 29 56 01 00 04 43 6f 64 65 0a 00 03 00 09 0c 00 05 00 06 01 00 0f 4c 69	nit>...()V...Code.............Li
0060	6e 65 4e 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	neNumberTable...LocalVariableTab
0080	6c 65 01 00 04 74 68 69 73 01 00 17 4c 6f 72 67 2f 73 61 74 34 6a 2f 4d 6f 72 65 54 68 61 6e 53	le...this...Lorg/sat4j/MoreThanS
00a0	41 54 3b 01 00 04 6d 61 69 6e 01 00 16 28 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67	AT;...main...([Ljava/lang/String
00c0	3b 29 56 0a 00 11 00 13 07 00 12 01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f	;)V...........org/sat4j/minisat/
00e0	53 6f 6c 76 65 72 46 61 63 74 6f 72 79 0c 00 14 00 15 01 00 0a 6e 65 77 44 65 66 61 75 6c 74 01	SolverFactory........newDefault.
0100	00 1b 28 29 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 07 00 17	..()Lorg/sat4j/specs/ISolver;...
0120	01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f 53 6f 6c 75 74 69 6f 6e 43 6f 75 6e 74	...org/sat4j/tools/SolutionCount
0140	65 72 0a 00 16 00 19 0c 00 05 00 1a 01 00 1c 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73	er.............(Lorg/sat4j/specs
0160	2f 49 53 6f 6c 76 65 72 3b 29 56 0b 00 1c 00 1e 07 00 1d 01 00 17 6f 72 67 2f 73 61 74 34 6a 2f	/ISolver;)V...........org/sat4j/
0180	73 70 65 63 73 2f 49 53 6f 6c 76 65 72 0c 00 1f 00 20 01 00 0a 73 65 74 54 69 6d 65 6f 75 74 01	specs/ISolver........setTimeout.
01a0	00 04 28 49 29 56 07 00 22 01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72 2f 49 6e 73	..(I)V.."...org/sat4j/reader/Ins
01c0	74 61 6e 63 65 52 65 61 64 65 72 0a 00 21 00 19 0a 00 25 00 27 07 00 26 01 00 17 6f 72 67 2f 73	tanceReader..!....%.'..&...org/s
01e0	61 74 34 6a 2f 72 65 61 64 65 72 2f 52 65 61 64 65 72 0c 00 28 00 29 01 00 0d 70 61 72 73 65 49	at4j/reader/Reader..(.)...parseI
0200	6e 73 74 61 6e 63 65 01 00 2e 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 4c 6f	nstance...(Ljava/lang/String;)Lo
0220	72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 50 72 6f 62 6c 65 6d 3b 0b 00 2b 00 2d 07 00 2c	rg/sat4j/specs/IProblem;..+.-..,
0240	01 00 18 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 50 72 6f 62 6c 65 6d 0c 00 2e 00 2f	...org/sat4j/specs/IProblem..../
0260	01 00 0d 69 73 53 61 74 69 73 66 69 61 62 6c 65 01 00 03 28 29 5a 09 00 31 00 33 07 00 32 01 00	...isSatisfiable...()Z..1.3..2..
0280	10 6a 61 76 61 2f 6c 61 6e 67 2f 53 79 73 74 65 6d 0c 00 34 00 35 01 00 03 6f 75 74 01 00 15 4c	.java/lang/System..4.5...out...L
02a0	6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d 3b 08 00 37 01 00 0d 4d 6f 72 65 54 68	java/io/PrintStream;..7...MoreTh
02c0	61 6e 53 41 54 2e 30 0a 00 39 00 3b 07 00 3a 01 00 12 6f 72 67 2f 73 61 74 34 6a 2f 4d 65 73 73	anSAT.0..9.;..:...org/sat4j/Mess
02e0	61 67 65 73 0c 00 3c 00 3d 01 00 09 67 65 74 53 74 72 69 6e 67 01 00 26 28 4c 6a 61 76 61 2f 6c	ages..<.=...getString..&(Ljava/l
0300	61 6e 67 2f 53 74 72 69 6e 67 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00	ang/String;)Ljava/lang/String;..
0320	3f 00 41 07 00 40 01 00 13 6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d 0c 00 42 00	?.A..@...java/io/PrintStream..B.
0340	43 01 00 07 70 72 69 6e 74 6c 6e 01 00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67	C...println...(Ljava/lang/String
0360	3b 29 56 0b 00 2b 00 45 0c 00 46 00 47 01 00 05 6d 6f 64 65 6c 01 00 04 28 29 5b 49 07 00 49 01	;)V..+.E..F.G...model...()[I..I.
0380	00 13 6a 61 76 61 2f 69 6f 2f 50 72 69 6e 74 57 72 69 74 65 72 0a 00 48 00 4b 0c 00 05 00 4c 01	..java/io/PrintWriter..H.K....L.
03a0	00 19 28 4c 6a 61 76 61 2f 69 6f 2f 4f 75 74 70 75 74 53 74 72 65 61 6d 3b 29 56 0a 00 25 00 4e	..(Ljava/io/OutputStream;)V..%.N
03c0	0c 00 4f 00 50 01 00 06 64 65 63 6f 64 65 01 00 1a 28 5b 49 4c 6a 61 76 61 2f 69 6f 2f 50 72 69	..O.P...decode...([ILjava/io/Pri
03e0	6e 74 57 72 69 74 65 72 3b 29 56 0a 00 52 00 54 07 00 53 01 00 19 6f 72 67 2f 73 61 74 34 6a 2f	ntWriter;)V..R.T..S...org/sat4j/
0400	74 6f 6f 6c 73 2f 52 65 6d 69 55 74 69 6c 73 0c 00 55 00 56 01 00 08 62 61 63 6b 62 6f 6e 65 01	tools/RemiUtils..U.V...backbone.
0420	00 34 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 4c 6f 72	.4(Lorg/sat4j/specs/ISolver;)Lor
0440	67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 49 56 65 63 49 6e 74 3b 07 00 58 01 00 17 6a 61 76 61	g/sat4j/specs/IVecInt;..X...java
0460	2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c 64 65 72 08 00 5a 01 00 0d 4d 6f 72 65 54 68 61	/lang/StringBuilder..Z...MoreTha
0480	6e 53 41 54 2e 31 0a 00 5c 00 5e 07 00 5d 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e	nSAT.1..\.^..]...java/lang/Strin
04a0	67 0c 00 5f 00 60 01 00 07 76 61 6c 75 65 4f 66 01 00 26 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f	g.._.`...valueOf..&(Ljava/lang/O
04c0	62 6a 65 63 74 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 0a 00 57 00 62 0c 00	bject;)Ljava/lang/String;..W.b..
04e0	05 00 43 0a 00 57 00 64 0c 00 65 00 66 01 00 06 61 70 70 65 6e 64 01 00 2d 28 4c 6a 61 76 61 2f	..C..W.d..e.f...append..-(Ljava/
0500	6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75	lang/Object;)Ljava/lang/StringBu
0520	69 6c 64 65 72 3b 0a 00 57 00 68 0c 00 69 00 6a 01 00 08 74 6f 53 74 72 69 6e 67 01 00 14 28 29	ilder;..W.h..i.j...toString...()
0540	4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 08 00 6c 01 00 0d 4d 6f 72 65 54 68 61 6e	Ljava/lang/String;..l...MoreThan
0560	53 41 54 2e 32 08 00 6e 01 00 0d 4d 6f 72 65 54 68 61 6e 53 41 54 2e 33 0a 00 16 00 70 0c 00 71	SAT.2..n...MoreThanSAT.3....p..q
0580	00 72 01 00 0e 63 6f 75 6e 74 53 6f 6c 75 74 69 6f 6e 73 01 00 03 28 29 4a 0a 00 57 00 74 0c 00	.r...countSolutions...()J..W.t..
05a0	65 00 75 01 00 1c 28 4a 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 42 75 69 6c 64 65	e.u...(J)Ljava/lang/StringBuilde
05c0	72 3b 08 00 77 01 00 0d 4d 6f 72 65 54 68 61 6e 53 41 54 2e 34 0a 00 79 00 7b 07 00 7a 01 00 1d	r;..w...MoreThanSAT.4..y.{..z...
05e0	6a 61 76 61 2f 69 6f 2f 46 69 6c 65 4e 6f 74 46 6f 75 6e 64 45 78 63 65 70 74 69 6f 6e 0c 00 7c	java/io/FileNotFoundException..|
0600	00 06 01 00 0f 70 72 69 6e 74 53 74 61 63 6b 54 72 61 63 65 0a 00 7e 00 7b 07 00 7f 01 00 25 6f	.....printStackTrace..~.{.....%o
0620	72 67 2f 73 61 74 34 6a 2f 72 65 61 64 65 72 2f 50 61 72 73 65 46 6f 72 6d 61 74 45 78 63 65 70	rg/sat4j/reader/ParseFormatExcep
0640	74 69 6f 6e 0a 00 81 00 7b 07 00 82 01 00 13 6a 61 76 61 2f 69 6f 2f 49 4f 45 78 63 65 70 74 69	tion....{......java/io/IOExcepti
0660	6f 6e 08 00 84 01 00 0d 4d 6f 72 65 54 68 61 6e 53 41 54 2e 35 08 00 86 01 00 0d 4d 6f 72 65 54	on......MoreThanSAT.5......MoreT
0680	68 61 6e 53 41 54 2e 36 07 00 88 01 00 26 6f 72 67 2f 73 61 74 34 6a 2f 73 70 65 63 73 2f 43 6f	hanSAT.6.....&org/sat4j/specs/Co
06a0	6e 74 72 61 64 69 63 74 69 6f 6e 45 78 63 65 70 74 69 6f 6e 07 00 8a 01 00 20 6f 72 67 2f 73 61	ntradictionException......org/sa
06c0	74 34 6a 2f 73 70 65 63 73 2f 54 69 6d 65 6f 75 74 45 78 63 65 70 74 69 6f 6e 01 00 04 61 72 67	t4j/specs/TimeoutException...arg
06e0	73 01 00 13 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 01 00 06 73 6f 6c 76 65 72	s...[Ljava/lang/String;...solver
0700	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 02 73	...Lorg/sat4j/specs/ISolver;...s
0720	63 01 00 21 4c 6f 72 67 2f 73 61 74 34 6a 2f 74 6f 6f 6c 73 2f 53 6f 6c 75 74 69 6f 6e 43 6f 75	c..!Lorg/sat4j/tools/SolutionCou
0740	6e 74 65 72 3b 01 00 06 72 65 61 64 65 72 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 72 65 61 64	nter;...reader...Lorg/sat4j/read
0760	65 72 2f 52 65 61 64 65 72 3b 01 00 07 70 72 6f 62 6c 65 6d 01 00 1a 4c 6f 72 67 2f 73 61 74 34	er/Reader;...problem...Lorg/sat4
0780	6a 2f 73 70 65 63 73 2f 49 50 72 6f 62 6c 65 6d 3b 01 00 19 4c 6f 72 67 2f 73 61 74 34 6a 2f 73	j/specs/IProblem;...Lorg/sat4j/s
07a0	70 65 63 73 2f 49 56 65 63 49 6e 74 3b 01 00 01 65 01 00 1f 4c 6a 61 76 61 2f 69 6f 2f 46 69 6c	pecs/IVecInt;...e...Ljava/io/Fil
07c0	65 4e 6f 74 46 6f 75 6e 64 45 78 63 65 70 74 69 6f 6e 3b 01 00 27 4c 6f 72 67 2f 73 61 74 34 6a	eNotFoundException;..'Lorg/sat4j
07e0	2f 72 65 61 64 65 72 2f 50 61 72 73 65 46 6f 72 6d 61 74 45 78 63 65 70 74 69 6f 6e 3b 01 00 15	/reader/ParseFormatException;...
0800	4c 6a 61 76 61 2f 69 6f 2f 49 4f 45 78 63 65 70 74 69 6f 6e 3b 01 00 0a 53 6f 75 72 63 65 46 69	Ljava/io/IOException;...SourceFi
0820	6c 65 01 00 10 4d 6f 72 65 54 68 61 6e 53 41 54 2e 6a 61 76 61 00 31 00 01 00 03 00 00 00 00 00	le...MoreThanSAT.java.1.........
0840	02 00 02 00 05 00 06 00 01 00 07 00 00 00 33 00 01 00 01 00 00 00 05 2a b7 00 08 b1 00 00 00 02	..............3........*........
0860	00 0a 00 00 00 0a 00 02 00 00 00 3f 00 04 00 41 00 0b 00 00 00 0c 00 01 00 00 00 05 00 0c 00 0d	...........?...A................
0880	00 00 00 09 00 0e 00 0f 00 01 00 07 00 00 01 f4 00 05 00 06 00 00 00 ea b8 00 10 4c bb 00 16 59	...........................L...Y
08a0	2b b7 00 18 4d 2b 11 0e 10 b9 00 1b 02 00 bb 00 21 59 2b b7 00 23 4e 2d 2a 03 32 b6 00 24 3a 04	+...M+..........!Y+..#N-*.2..$:.
08c0	19 04 b9 00 2a 01 00 99 00 73 b2 00 30 12 36 b8 00 38 b6 00 3e 2d 19 04 b9 00 44 01 00 bb 00 48	....*....s..0.6..8..>-....D....H
08e0	59 b2 00 30 b7 00 4a b6 00 4d 2b b8 00 51 3a 05 b2 00 30 bb 00 57 59 12 59 b8 00 38 b8 00 5b b7	Y..0..J..M+..Q:...0..WY.Y..8..[.
0900	00 61 19 05 b6 00 63 b6 00 67 b6 00 3e b2 00 30 12 6b b8 00 38 b6 00 3e b2 00 30 bb 00 57 59 12	.a....c..g..>..0.k..8..>..0..WY.
0920	6d b8 00 38 b8 00 5b b7 00 61 2c b6 00 6f b6 00 73 b6 00 67 b6 00 3e a7 00 4a b2 00 30 12 76 b8	m..8..[..a,..o..s..g..>..J..0.v.
0940	00 38 b6 00 3e a7 00 3c 3a 04 19 04 b6 00 78 a7 00 32 3a 04 19 04 b6 00 7d a7 00 28 3a 04 19 04	.8..>..<:.....x..2:.....}..(:...
0960	b6 00 80 a7 00 1e 57 b2 00 30 12 83 b8 00 38 b6 00 3e a7 00 0f 57 b2 00 30 12 85 b8 00 38 b6 00	......W..0....8..>...W..0....8..
0980	3e b1 00 05 00 1f 00 ad 00 b0 00 79 00 1f 00 ad 00 ba 00 7e 00 1f 00 ad 00 c4 00 81 00 1f 00 ad	>..........y.......~............
09a0	00 ce 00 87 00 1f 00 ad 00 dd 00 89 00 02 00 0a 00 00 00 6e 00 1b 00 00 00 44 00 04 00 45 00 0d	...................n.....D...E..
09c0	00 46 00 16 00 47 00 1f 00 4b 00 28 00 4c 00 32 00 4d 00 3d 00 4e 00 52 00 4f 00 58 00 50 00 5b	.F...G...K.(.L.2.M.=.N.R.O.X.P.[
09e0	00 51 00 75 00 52 00 80 00 53 00 92 00 54 00 9c 00 53 00 a2 00 56 00 b0 00 58 00 b2 00 59 00 ba	.Q.u.R...S...T...S...V...X...Y..
0a00	00 5a 00 bc 00 5b 00 c4 00 5c 00 c6 00 5d 00 ce 00 5e 00 cf 00 5f 00 dd 00 60 00 de 00 61 00 e9	.Z...[...\...]...^..._...`...a..
0a20	00 63 00 0b 00 00 00 5c 00 09 00 00 00 ea 00 8b 00 8c 00 00 00 04 00 e6 00 8d 00 8e 00 01 00 0d	.c.....\........................
0a40	00 dd 00 8f 00 90 00 02 00 1f 00 cb 00 91 00 92 00 03 00 28 00 88 00 93 00 94 00 04 00 58 00 4a	...................(.........X.J
0a60	00 55 00 95 00 05 00 b2 00 05 00 96 00 97 00 04 00 bc 00 05 00 96 00 98 00 04 00 c6 00 05 00 96	.U..............................
0a80	00 99 00 04 00 01 00 9a 00 00 00 02 00 9b	..............