doc/pb-into-sat.pdf 8c6e46aab6407a4637f10bf03c35c1f708320125 Denis Bueno dbueno@gmail.com http://github.com/dbueno/funsat/commit/012122de85b7a21436572b8f74fc3a61a7346ecd 012122de85b7a21436572b8f74fc3a61a7346ecd 2008-06-06T14:43:14-07:00 2008-06-06T14:43:14-07:00 pdfs 16c105b00a711d0bb4dec90e38a7f97ff013f939 Denis Bueno dbueno@gmail.com