100644 blob e21683f981189f346fdd30cb2c92ed78bdcd0bae	00_PATCH_mkLit_default_arg.patch
100644 blob 6c754b1ed6af83205998dc619895a77e7a2dc6b9	00_PATCH_no_fpu_control.patch
100644 blob 068356b732ca928b34a71047c7eecf8a676294d9	00_PATCH_remove_zlib.patch
100644 blob 175f483bffe52daac5b952be2ae02aa1aabe0a1d	00_PATCH_typofixes.patch
100755 blob ea26215ab2a9f8ac67a657fdcc647c7adc240887	00_UPDATE.sh
100644 blob ddb972e772bc0775840a98e0a02cf20e344ebeeb	Alg.h
100644 blob 6591dcd555d4f412200c15beb25fa382345148a9	Alloc.h
100644 blob 61b9d3ca0affcc20f94ca2551b71f450a2e968c8	Dimacs.h
100644 blob 057a3cdf247be9b4b18357cb738fee7e20b2b80b	Heap.h
100644 blob 9a66315d194a8ed44b0ef7ef7a819a759fabe6b4	IntMap.h
100644 blob c4881628497ee905eb9faa781989b91c82d1c4e7	IntTypes.h
100644 blob 22816ff39b170f7161a9dd6df13812d04bdded91	LICENSE
100644 blob a6f8320006a658647914c99d796bedffa9fc74d7	Map.h
100644 blob 5c45dd6ac45ddc4283388a2a0ffe632332e64fcb	Options.cc
100644 blob d602769cf21060364e89847faa26bb0769d07002	Options.h
100644 blob 04911c70a5173b4e2e8e226d23fa3b768ed8e8bc	ParseUtils.h
100644 blob 5ba50cd2bfd8f7b23cdc40fd31df2d121fc6d57f	Queue.h
100644 blob ccb94c6ce15a6317d3d40ee393af0ea724f3e51b	Rnd.h
100644 blob 7348a905dbc34e349ab04d5e2b4a8e0812e76d63	SimpSolver.cc
100644 blob 76d5aca1f01237ef3cdd8167c176bf03138ee87e	SimpSolver.h
100644 blob f6d4fb5ae98ab7b59ed3d5e908d1c04396add55a	Solver.cc
100644 blob 44570b0e15d1ace30ce780bbca6194291843b75c	Solver.h
100644 blob a7df57858f71978731ffbfd7aac967f694736a3a	SolverTypes.h
100644 blob cc96486d8c0b9137ea6b9f2238f2b182a145ff1b	Sort.h
100644 blob 1921a1d7157d5a3fe3795762d3c3546b88c5ec4a	System.cc
100644 blob cd9d020c73677f33e337a4324f3f4ebb0ade1077	System.h
100644 blob 6e398801f58403fe533ab66f3db9e1ef8e04d4a7	Vec.h
100644 blob 1da176028d3458cae0fed04d905f545a1e7f45f7	XAlloc.h