Stephen Jordan's repositories
satsolve_dmc
A heuristic solver for maxsat problems using a diffusion Monte Carlo simulation of adiabatic optimization.
traveling_santa
a blog post about the Q# programming language
yang-baxter
Code to generate all permutation-matrix solutions to the Yang-Baxter equation up to dimension 25 by pruned depth-first-search. Also, the solutions.
Language:CNOASSERTION000