8000 Update STP to conform with SMTLIB 2.6 or 2.7 · Issue #500 · stp/stp · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Update STP to conform with SMTLIB 2.6 or 2.7 #500

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
Supermarcel10 opened this issue Mar 28, 2025 · 0 comments
Open

Update STP to conform with SMTLIB 2.6 or 2.7 #500

Supermarcel10 opened this issue Mar 28, 2025 · 0 comments

Comments

@Supermarcel10
Copy link

Introduction

I was unable to dig out exactly what version of SMTLIB is supported.
From testing around, it would seem likely that this would be 2.0 (released in 2010).

SMTLIB 2.6 Improvements

2.6 introduces multiple QoL improvements as well as additional functionality. Some of this includes:

  • attributes belonging to <Keyword>, such as :left_assoc (e.g. (bvor a b c d) instead of (bvor (bvor a b) (bvor c d))).
  • user defined types
  • declare-const syntactic sugar for nullary functions.
  • And much more
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Supermarcel10
0