Boolean satisfiability programs written for different languages