Minisat documentation About the book This book contains am elaborated summary about installation and usage of Minisat. It will help user in installation and understanding of all component. Also help developer, how to contribute to Minisat.