This repository has been archived by the owner on Apr 4, 2019. It is now read-only.
- add optimized version of caching
- include query simplifications from the SMT solver Q3B
-
-
- 2016: package update:
- add support for trivial witness generation
-