Soft for encoding and solving Boolean satisfiability problem