Quoted symbols and printing for smtlib-related languages

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

BSD 2-Clause "Simplified" License

80 stars 17 forks source link

Closed Gbury closed 12 months ago

Gbury commented 1 year ago

This PR does a few things:

it adds printing functions for identifiers for smtlib2.6 and psmt2
it accepts quoted reserved words as symbols instead of reserved words, allowing declarations such as
```
(declare-fun |assert| () Bool)
```

Will close #196