Hi, just a few words to say my enhanced version of Logos (a Scheme program to maipulate logical expressions symbolically) is on sourceforge:
https://sourceforge.net/projects/logos1/ improvments are the Quine–McCluskey algorithm implementation and a Bigloo version (needed adaptation mainly for hash-tables) Regards, Damien
