search

sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.
Apache License 2.0
179 stars 44 forks source link

Declare a new Sort with JavaSMT #272

Open ghost opened 2 years ago

ghost commented 2 years ago

hello, is it possible with javaSMT to declare a new Sort like in SMTLIB ? for example : (declare-sort Auto 0)

kfriedberger commented 2 years ago

No. JavaSMT does currently not support user-defined sorts.

UPDATE: see below,

kfriedberger commented 9 months ago

We support enumeration sort (bounded domain sort) since #303.

More generic datatype sorts (like simple tuples or more advanced structures like lists and trees) are not yet supported, because of: