First time here? Check out the FAQ!
answered 14 years ago
It's just a guess, but maybe a groebner basis over boolean algebra method would work. Look for documentation about the polybori interface.