Hi, I need some direction help. The problem I am facing is related to solutions of equations , where equations are montone functions over complete lattice , operators being meet and join and the solution set should range over elements of lattice. Normally data flow analysis problems in compilers are modelled as above, where the solution to equations is calculated by fixpoint calculation. I am looking for an equation solver, that takes equations over lattice values,with operators (join and meet, instead of + -), and can provide me a solution set. Example. Take X, Y as variables to be determined whose domains are complete lattice L. U is join operator. ^ is a meet operator. a,b,c are constants , the values from lattice L X = (X U Y ) ^ a; eq-1 Y = X^b; eq-2 Suppose the above equations are montone. Then using fixpoint iteration , we can solve these equations. I want a tool that takes such equations and solves them.