sat-solver source code visualizations

1 animated visualization for GitHub repositories tagged sat-solver.