2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/156986We extend an approach of Beliakova for computing knot Floer homology and implement it in a publicly available computer program. We review the main programming and optimization methods used. Our program is then used to check that the Floer homology of a prime non-alternating knot with less than 12 crossings has no torsion.17 pagesGeometric Topology57M27text