When I tried to use Symbolics.jl to sovle a simple equation, I ran into the error saying that solve_for was not defined. Below you can see the package status and a screenshot from the docs. Am I wrong, or is something not adding up?

I’m looking into a problem (WENO reconstruction) where I have, say, 5 linear equations and 3 unknowns. The solution exists and is unique, though.

Since solver_for appears to require the same number of equations and unknowns (statement above), would it be better for now to write a simple function for setting this in matrix form, and solve it using the LinearAlgebra package?