Vignettes of package polysat

polysattutorial.pdf:

polysat version 1.0 Tutorial Manual