Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). - Eti Chaudhary; Saurabh Joshi 001 (TACAS (3), 2019)