IT203-Team2 Under supervision of Dr. Bhawana Rudra Mrs. Trupti Chandak Team members: Tejaswi Hegde Adarsh Kishore Nithin G Shastry Topic is Introduction to Satisfiability and its Applications