oPOSsum is a Boolean Satisfiability (SAT) solver which parallelizes the originally serial operations in the popular DPLL algorithm found in many software SAT solvers to speedup the satisfiability determination process.