100644 blob e079bd0964aa550fb113fa522d68aa7945dd0319	.gitignore
100644 blob b1f8641609395fa4d3d67cedfc6d9e37babda782	Makefile
100644 blob c6745e6cf0fcef9227576f339715abc033f6340d	README
100644 blob c7b11246cdf600ccfe551f497693c495d8819f11	demo_bit.cc
100644 blob 8d7ceb2b4b7a2086ac08f64d10ac4284dfb414a5	demo_cmp.cc
100644 blob eb8d75997fbf77c0060a25b2d00d57f299c5f95c	demo_vec.cc
100644 blob 4be5fd4931a6044d36d1a22bcff803ce55e6389c	ezminisat.cc
100644 blob 3a34c13c898bf8d049943555de2b5b744e985a38	ezminisat.h
100644 blob 177bcd8a3014b3031caeb9338822c1d8fa06a037	ezsat.cc
100644 blob 85b13685f3e13b1018f334232ab10d77ae399777	ezsat.h
100644 blob 59f840f9ec0a30af7d678b634117b71cc9ae4e11	puzzle3d.cc
100644 blob 693f8d853c1e7cc696564932a01e0868608de48f	puzzle3d.scad
100644 blob d6dc41fa9445da7689246c7ef3eb53521b16f8b0	testbench.cc