By Software

CaDiCaL

GAP

GNU Parallel

HomotopyContinuation.jl

iPython

Julia

Macaulay2

MAGMA

Maple

Mathematica

MATLAB

nbc_minisat_all

OSCAR

Perl

Polymake

Python

PyTorch

SageMath

SCIP

Singular

SoPlex