equations
hybrid
server
solver
templates
verify
