java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Support enumeration theory in Yices2 bindings

Open kfriedberger opened this issue 2 years ago • 0 comments

Yices2 supports enumeration theory. JavaSMT also provides a FormulaManager for enumeration theory. The bindings are missing for that.

TODO (incomplete list):

  • Implement bindings.
  • Publish Yices2 binary to Ivy and Maven.
  • Publish JavaSMT's Yices2 component to Ivy and Maven.

kfriedberger avatar Jun 08 '23 07:06 kfriedberger