title: is the theory of list decidable?
body: <p>I am wondering if the z3 theory of list decidable? It seems like we can only prove facts that are unsat but not sat using the theory, so I am curious if it is actually decidable. Thanks for your help.</p>