Md. Solimul Chowdhury, Cayden R. Codel, Marijn Heule: Artifact for TaSSAT: A Stochastic Local Search Solver for SAT. Zenodo 2023