A model counter for constraints over unbounded strings.

Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky

Browse the full PLDI paper archive.