100644 blob 5193813712f875e0fafa4181afb1f8c82dd5a7bd	LICENSE
100644 blob 842e340e8bc0b9cbc539e5393c0c851c3f5b8338	act_clause.h
100644 blob 6b0ff98aba3145902345f80a21e7f3ceb24744fa	act_var.h
100644 blob 32b0bf93bf8329cde2c3a8e15dbec099f264eaf2	cdb.h
100644 blob 9b05868b2aa20e673ed6375f6c62460e50e6e8bf	clause.h
100644 blob 48a0b0688591a4c3403d8fff18971cd1164fa1f8	cnf_reader.c
100644 blob 512094ee3ce74d2af5b89d25a3738d6bb34c9d15	module.make
100644 blob 347bd187a3031ea1b307e9318d3cc14444b93d5b	satoko.h
100644 blob b15963455f529b5b9d22191204c7b1c36f9ef213	solver.c
100644 blob 52a81163fe931b94d3ed218c52b5a46de9a22d2f	solver.h
100644 blob 0193b1c32bb34279772e67d6eb43fa47b820ec14	solver_api.c
100644 blob 06c190ab8275e3910f2ce521fa1f04a19f300855	types.h
040000 tree 3db5fbfe1207f17303cc8fbe878255b7cdd1a8de	utils
100644 blob 1bcbf3b43218606bf6c9a9c194b2cf4abb55b63e	watch_list.h