First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 14 years ago

mmarco gravatar image

It's just a guess, but maybe a groebner basis over boolean algebra method would work. Look for documentation about the polybori interface.