Summary Introduction Chapter 1 Introduction to Minisat Minisat Installation Components Infrastructure Host Content Host Group Containers How to Start with Minisat? Creating Virtual Machines Running Docker Containers Contribute Code