Talk:Boolean Satisfiability Problem : Soft.lk - A Premium Software Developers - Meet one of the most powerful and intuitive POS systems for retail in Sri Lanka