Nicolas Swanson. Deciding if a Genus 1 Curve has a Point [Computer software]. https://github.com/Nicswansonvt/DecidingIfGenus1CurvehasQPoint