Alternative solver
An algorithm to compare with the syntactic solver.
Currently WebSynDic supports the following alternative solvers:

the slopes algorithm
(M.Filgueiras and A.P.Tomas). It is used to compute a whole
Hilbert basis.

lp_solve (M.Berkelaar).
It is used to compute only one basis solution.