By Software

Bertini

CaDiCaL

CInet::Base

CInet::ManySAT

DifferentialEquations.jl

GANAK

GAP

HomotopyContinuation.jl

HomotpyContinuation.jl

Julia

Macaulay2

MAGMA

Maple

Mathematica

MATLAB

nbc_minisat_all

OSCAR

Parallel

Pari/GP

Perl

Polymake

Python

PyTorch

Rust

SageMath

SCIP

sharpSAT-TD

Singular

SoPlex