16 followers
Monday 10:00 (TACAS) "Z3-Noodler: An Automata-based String Solver" Automata in SMT solving? Yes! And it's fast! Our solver Z3-Noodler for QF_S and QF_SLIA theories is getting better and better with each version! Try it yourself at https://t.co/xDjNqYWv18 !