| From: Damien MATTEI (mattei at oca.eu) Date: Fri May 23 04:15:43 EDT 2014 |
|
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.MATTEI at unice.fr
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}