Closed
Description
- Change local repository into maven central.
- Add native z3 libraries as local dependencies (build.gradle in utbot-framework).
- Solve issue Add our Soot as a dependency #1
Metadata
Metadata
Assignees
Type
Projects
Status
Done
{{ message }}
No type
No milestone
None yet
No branches or pull requests