100644 blob 240962dfc81b683fba31af4e498f9cf3b0712412	Alg.h
100644 blob 556d98f84cca64391b740110c203b5ace4fa1305	BasicHeap.h
100644 blob bddf410083724188d1a2853cb8fb51d26a54600c	BoxedVec.h
100644 blob b07ccd152b3e7f5cb7bfb8945b48d4b3d368e69a	Heap.h
100644 blob c87a32731d4868a419d833d5d9f9989a91589772	LICENSE
100644 blob ac0d35536edfad0c14e9ba9e2fa357d86e6cd67d	Main.cpp
100644 blob 9ea3afeb3c98ab7ebed0a9a1ff9ef93db17eaf35	Makefile
100644 blob b6d76a31c2deff1acf097301ca297aa1fddb9ae8	Map.h
100644 blob 2cc110ce9fa8c59c22383ffeaff088bc92613c9b	Queue.h
100644 blob 189ea9f950d8831159d1c1923a0acb6e94d8b348	Solver.cpp
100644 blob 0137b6ff335c9b21e1bb353b63eaf707559ff66e	Solver.h
100644 blob 70fccfa6a6d282292cd758c146cca38d82b2f76d	SolverTypes.h
100644 blob 1f301f5c29d5cee876db5b308b8699eeabea04c3	Sort.h
100644 blob e780aa1675c8aecc2df19961d07310aa1a2e65bc	Vec.h
100644 blob d475a0310b08b02671cad5d1e8cd18112b0795c9	long.cnf
100644 blob 42652fbd742e4316622de95733bf3d8a4d9b7540	minisat.reference_output
100644 blob d59bafa49fa6cd7069b1e7eef51eefacb52dd9a7	minisat.reference_output.small
100644 blob 5bbb58cbdb176e2d35da4693b0ea796f5201fc38	short.cnf
100644 blob 5dba5601b57bc216306544545adb1a730984c7fa	small.cnf