4-SAT-solver_9-qubit.txt

https://algassert.com/quirk#circuit={%22cols%22:[[%22H%22,%22H%22,%22H%22,%22H%22],[%22%E2%80%A2%22,1,%22%E2%80%A2%22,%22%E2%80%A2%22,%22X%22],[1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22X%22],[%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22%E2%97%A6%22,1,1,%22X%22],[%22%E2%80%A2%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,1,1,1,%22X%22],[1,1,1,1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22X%22],[1,1,1,1,1,1,1,1,%22Z%22],[1,1,1,1,1,1,1,1,%22Chance%22],[1,1,1,1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22X%22],[%22%E2%80%A2%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,1,1,1,%22X%22],[%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22%E2%97%A6%22,1,1,%22X%22],[1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22X%22],[%22%E2%80%A2%22,1,%22%E2%80%A2%22,%22%E2%80%A2%22,%22X%22],[%22%E2%8A%96%22,%22%E2%8A%96%22,%22%E2%8A%96%22,%22X%22],[%22%E2%80%A2%22,1,%22%E2%80%A2%22,%22%E2%80%A2%22,%22X%22],[1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22X%22],[%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22%E2%97%A6%22,1,1,%22X%22],[%22%E2%80%A2%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,1,1,1,%22X%22],[1,1,1,1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22X%22],[1,1,1,1,1,1,1,1,%22Z%22],[1,1,1,1,1,1,1,1,%22Chance%22],[1,1,1,1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22X%22],[%22%E2%80%A2%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,1,1,1,%22X%22],[%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22%E2%97%A6%22,1,1,%22X%22],[1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22X%22],[%22%E2%80%A2%22,1,%22%E2%80%A2%22,%22%E2%80%A2%22,%22X%22],[%22%E2%8A%96%22,%22%E2%8A%96%22,%22%E2%8A%96%22,%22X%22],[%22%E2%80%A2%22,1,%22%E2%80%A2%22,%22%E2%80%A2%22,%22X%22],[1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22X%22],[%22%E2%97%A6%22,%22%E2%80%A2%22,1,%22%E2%97%A6%22,1,1,%22X%22],[%22%E2%80%A2%22,%22%E2%97%A6%22,%22%E2%80%A2%22,1,1,1,1,%22X%22],[1,1,1,1,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22%E2%97%A6%22,%22X%22],[1,1,1,1,1,1,1,1,%22Z%22],[1,1,1,1,1,1,1,1,%22Chance%22]],%22init%22:[1,1,1,1]}