100644 blob a6389ab13f17be75f753cceeadaffcfca1f9e66c	license
100644 blob 1d7352e2bf4205f2a4999770c4aff31de0c3b9f7	module.make
100644 blob b2962d91c87b6177b2ebef454cc46094b76e9c77	xsat.h
100644 blob f75f365058da160af396ea3d1fc02734688743e8	xsatBQueue.h
100644 blob ef353198da7233d44a39d0b897b7b79b0d200893	xsatClause.h
100644 blob d23e8a0a6bc85f17d2b103ad56ffb608b3722637	xsatCnfReader.c
100644 blob 409ce4604f28cf22712b26d336115bcf869d3803	xsatHeap.h
100644 blob 129c2f503ae43a3065adff817fae1c8d4837e6eb	xsatMemory.h
100644 blob 4844ca1df99561c98a03fc31071093b442e2d94c	xsatSolver.c
100644 blob 36432e03dfdba48fbf3bf9632b832b0dc336f2a7	xsatSolver.h
100644 blob 7746dc0be00526f441ac0503588cedf42adde294	xsatSolverAPI.c
100644 blob 7f774d85b562bff64d74535e64caa2619dc73e77	xsatUtils.h
100644 blob 284be1008b94f4832f814631b2c9d54667f99552	xsatWatchList.h