Vignettes from package 'polysat'
polysat version 1.2 Tutorial Manual -
PDF
R
LaTeX/noweb