Make open sourced UTBot Java #2

Closed

Assignees

Labels

ctg-enhancement

viktoriia-fomina

opened

on Apr 26, 2022

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

Assignees

viktoriia-fomina

Labels

ctg-enhancement

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests