Convert and recover ISBN-10s and ISBN-13s using a SAT solver.
Try inputting an ISBN-10 or an ISBN-13 and pressing "Convert"; recover missing digits by using a ?, e.g. 33192??283; combine a partial ISBN-10 and a ISBN-13 to recover both simultaneously.
Written with Sentient, read the source code.