chickadee
»
seulex
»
seulex-destroy-solver
Identifier search
seulex-destroy-solver
SEULEX-SOLVER
procedure
Deallocates the memory associated with the given solver.