Online SAT Solvers that Returns Satisying Assignments


All the SAT solvers I could find online only return whether a formula is satisfiable or not. However, none of them seem to be able to return a satisfying solution if the formula is SAT. Are there any online solvers (solvers that run online) that has that capability?