Fault-tolerant in-memory crossbar computing using quantified constraint solving