Testing solvers
solver demos