Dmitry Negius wrote: >For my AI project I need to solve constraints like this: A>255 => B. >not B. >?- A<1000.
Maybe you would be happier with a mixed integer programming environment (glpk is one free one; coin-or offers several possibilities). You constraints can be modelled directly as a (mixed) integer program. David _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
