Allowing identifiers to be indexed not just with symbols

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

Open msakai opened 8 years ago

msakai commented 8 years ago

This PR allows identifiers to be indexed not just with numerals but also with symbols, as specified in SMT-LIB 2.5.