hello, i was searching for some code for manipulating boolean formula, for example i need to put an arbitrary boolean formula in DNF (Disjunctive Normal Form) and i did not find anything in Scheme or Lisp, does anyone know if something exist to do that?
regards, Damien -- e-mail: damien.mat...@unice.fr ____________________ Racket Users list: http://lists.racket-lang.org/users