100644 blob 3313396344556d97e96bc1126fd0e6840059aa73	module.make
100644 blob 4830b12ed3ea77be9e25cc440b7523cd983b9031	msat.h
100644 blob 6ac27e2cf060c358c5ec5491dc4f9e776a8d127c	msatActivity.c
100644 blob 6b1b9e98893887b093be1c9489c29e44cdb721ce	msatClause.c
100644 blob 718957110ba4864187e2f7f79dc79137cef66340	msatClauseVec.c
100644 blob d1e71371f764ec68fc5f88bfd4f863dbc2fc9876	msatInt.h
100644 blob 7e0dc0dd12d979e76fd51a0c124e3950a7e1c5fc	msatMem.c
100644 blob 90568ec2a935aa55d65672386c773e120cc13571	msatOrderH.c
100644 blob 82e12ec61650cab23881bbb3884984fc6a51c2f7	msatOrderJ.c
100644 blob f025920b601793fd82920ddaf69aa99a4f717a25	msatQueue.c
100644 blob cd7650fef6ee9e473c7fff8b7259412d032c1c59	msatRead.c
100644 blob 622e94aa358e02a816b11994fb19dd5d75ccb1a8	msatSolverApi.c
100644 blob 352a4a5a06a31e253ae4aa2068e2ee4682d2e3d3	msatSolverCore.c
100644 blob 38610b4d25a289a41cf93479c188174740e52aee	msatSolverIo.c
100644 blob b3190e39c2b28414acb476b5d45e575652055a13	msatSolverSearch.c
100644 blob a4b34030197bbbc8dc226364effa7f6a97946b6c	msatSort.c
100644 blob 7144b2134afcea3d482aacc310e5e10538d925d9	msatVec.c