Quicksat

Grzegorz Koralewski (caliban@kki.net.pl)
Sun, 14 Jun 1998 14:24:05 +0300

Hello everyone,
Some time ago I started using Quicksat. Everything is OK except the
'box' setting. How to define it? The manual is a bit unclear. Please,
could you send me your configuration file with the box set as an
example.
                                                                 Thanks,
                                                                      GK