Skip to content

v0.8.0

Choose a tag to compare

View all tags
@blishko blishko released this 30 May 14:17
· 61 commits to master since this release
v0.8.0
c3e7e99

Notable changes:

  • Fixed bug in printing 0-ary predicates in models
  • Fixed model format to conform to SMT-LIB
  • Fixed bug in preprocessing in the presence of array
  • Added a new backend engine based on forward symbolic execution
  • Improved automatic detection of background theory
  • Updated Alethe proofs to conform to latest Alethe specification
Assets 5
Loading