khomesh24 / Minisat-documentation

Documentation for Minisat

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.