On Mon, Mar 17, 2008 at 6:40 PM, van Nek <van.nek at arcor.de> wrote:
> PS: I guess there isn't any documentation about simp.lisp ?
Not really, I'm afraid. And anyway, you probably don't want to be
looking at simp.lisp itself, which has the oldest and most convoluted
code. I'd recommend modelling your approach on simp-max or something
like that. In fact, AND and OR have many algebraic similarities to
Max.
-s