Viewing profile — dwinterer
dwinterer
HN member- Joined
- Tue, Nov 17, 2020, 10:01 PM UTC
- HN karma
- 6
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About dwinterer
No profile information was provided.
Recent public activity
-
comment
Comment #25131486
Good question, gugagore! We have treated Z3 and CVC4 exactly equal, i.e. every formula on which Z3 was tested, CVC4 got also tested. It is thus striking that we found almost twice …