libsmt.rs icon indicating copy to clipboard operation
libsmt.rs copied to clipboard

Published 20 hours ago • verified publisher icon sushant94

Implement more logics

Open sushant94 opened this issue 8 years ago • 0 comments

The current SMTLIB2 implementation only supports a few bitvector logic. See here for a complete list of logics defined according to the standard.

sushant94 avatar Mar 02 '16 20:03 sushant94