3 ms·
Z3 supports many more theories than just real arithmetic. I've primarily dabbled with difference logic and bit vectors, both of which I believe benefit strongl
by colanderman 13y ago
Z3 supports many more theories than just real arithmetic. I've primarily dabbled with difference logic and bit vectors, both of which I believe benefit strongly from SMT's SAT underpinnings.