Changes by: Yegor N. Bryukhov (ybryukhov at gmail.com)
Date: 2006-11-27 13:51:54 -0800 (Mon, 27 Nov 2006)
Revision: 9781
Log message:

      connecting s4-prover with s4->lp realization algorithm