Skip to content

Stable release v1.1

Choose a tag to compare

View all tags
@Columpio Columpio released this 16 Mar 12:43
· 116 commits to master since this release
v1.1
710e4d9
  • moved to ANTRL2 SMTLIB2 grammar
  • added Prolog translation
  • added VeriMAP-iddt
  • fixed nary sugared operations
Assets 3
Loading