100644 blob e92044db02f9aa42a92ad15825cf8607cfe1a090	AbcApi.cpp
100644 blob 3e0745f1d3f0469f53d63228fb2fcda8d3792a06	Alg.h
100644 blob 7f506cb5a96fae735485739347a4ab21318e5093	Alloc.h
100644 blob f26f152be278f81b7a80098c49e377644e63a0b4	Dimacs.h
100644 blob e5b4ddb56a99173ad3cab8b574e4131633147194	Heap.h
100644 blob 1c011e83afa733fb015abcc2130b80bf30cdcc00	IntTypes.h
100644 blob 22816ff39b170f7161a9dd6df13812d04bdded91	LICENSE
100644 blob 1f61f9eecca02191e80a8e0a820c9204380bdecb	MainSat.cpp
100644 blob 4a890921087510c8830462c24d946f3f93fb7552	MainSimp.cpp
100644 blob 1dd22a06d3854c4319e2be3e7d8febc49b7245fa	Map.h
100644 blob b30cff0e5fcbc15cc57b1eebe3956cdebae3bc99	Options.cpp
100644 blob 439cb8f216dccf08de1bec30e583858f55d652ce	Options.h
100644 blob 8e0f9c8901a37bd534fa81a8cbc640bdccbf38a5	ParseUtils.h
100644 blob 11b4291151acb75b06e088705815eeee28dcb8b1	Queue.h
100644 blob e5e5617d8c3deef161d38cb08cd14c2c2ce3559d	README
100644 blob 7f084de2b4454e3335e480cc8254e707b6b845ea	ReleaseNotes-2.2.0.txt
100644 blob 5a7a006c21cb0d16d22355db7829c2d3a364cb25	SimpSolver.cpp
100644 blob e24b0e43057517be6092b91873a23de59c82531f	SimpSolver.h
100644 blob 451beed87b05e223f4eb9ef90aaa03715265841e	Solver.cpp
100644 blob fc0bb4ba2eaf029e5cc0f0c24da428b4e5300923	Solver.h
100644 blob f34deca1ca56852bec1e697f4b491a1f6ccd202d	SolverTypes.h
100644 blob cc96486d8c0b9137ea6b9f2238f2b182a145ff1b	Sort.h
100644 blob c2d6259e2861b0e4bd2d7d16c23ddd48488dfd7d	System.cpp
100644 blob d776c880c8355377e688de31a694c0489d129a40	System.h
100644 blob f0e07d016ab1f45608ad856449b714cfa5a31723	Vec.h
100644 blob 1da176028d3458cae0fed04d905f545a1e7f45f7	XAlloc.h
100644 blob ddd11b1b96034642221cab3e096163d53166848b	module.make
100644 blob 3b6b4448980dca5cb8ab13cae102632e391c6b7a	pstdint.h