smtinterpol icon indicating copy to clipboard operation
smtinterpol copied to clipboard

Published 20 hours ago • verified publisher icon ultimate-pa
→

Metadata

SMTInterpol interpolating SMT solver

Results 31 smtinterpol issues
Sort by recently updated
recently updated
newest added

Move ConstantTermNormalizer

2 comment

* Move class ConstantTermNormalizer from SMTInterpol to Library-SMTLIB * Extract method * Add support for new representation of bitvector constants (ConstantTerm with BigInteger value) * Add documentation This class is...

Heizmann avatar Heizmann

← Metadata

59
Stars
17
Forks
Watchers

Owner

verified publisher icon ultimate-pa

Metadata

SMTInterpol interpolating SMT solver

Back