Use SMTInterpol as a Maven dependency - #712

Closed

schuessf wants to merge 11 commits into

devfrom

wip/fs/smtinterpol-dependency

Commits on Mar 25, 2025

Use SMTInterpol as external maven dependency (not compiling yet)
schuessf
committed
8694964
Add missing packages to manifests
schuessf
committed
f208900
Move classes from Library-SMTLIB to Library-SmtLibUtils
schuessf
committed
75f5f80
Add missing implementations for various scripts
schuessf
committed
4deb2bf
Remove SMTInterpol source files
schuessf
committed
fa3a185
Updates features
schuessf
committed
bd17a82
Remove SMTInterpol from pom.xml
schuessf
committed
5db40c8
Workaround: Duplicate ConstantTermNormalizer
schuessf
committed
640085e

Commits on Mar 28, 2025

Try to use build of forked SMTInterpol as local dependency
schuessf
committed
558f069
Use ConstantTermNormalizer from SMTInterpol
schuessf
committed
d4b7121

Commits on Apr 17, 2025

Use original SMTInterpol from Maven again to fix the build
schuessf
committed
fe2f560