This repository was archived by the owner on Aug 23, 2024. It is now read-only.

Boolector 3.2.1

aniemetz released this 25 Mar 19:42

· 110 commits to master since this release

f61c0dc

initial version of Dockerfile for Boolector
(thanks to Andrew V. Jones)
fix issue with infinite recursion in Python API
(thanks to Andrew V. Jones)
fix issue with dumping constant arrays
fix issue with reset assumptions and checking of failed assumptions
fix witness printing in btormc

Assets 2