An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Try CVC4 online!
This site provides our paper A Decision Procedure for String to Code Point Conversion
and related material at IJCAR 2020.
All materials to reproduce the experimental evaluation in our paper can be