SIM - Satisfiability Internal Module ver. 1beta

Copyright (c) 2000 by DIST - Universita' di Genova, Italia.  All
Rights Reserved. This software is for educational purposes only.
Permission is given to academic institutions to use, copy, and modify
this software and its documentation provided that this introductory
message is not removed, that this software and its documentation is
used for the institutions' internal research and educational purposes,
and that no monies are exchanged. No guarantee is expressed or implied
by the distribution of this code.  Permission to distribute this code
is given to ITC-IRST, provided that the code is distributed as is.

Send bug-reports and/or questions to: sim@mrg.dist.unige.it

