Task #10002
get Boolector solver from server as dependency
Start date:
12/20/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
0.4.34-beta-200916
Associated revisions
gradle: Boolector fixup (#10002)
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
History
Updated by Sergey Smolov 9 months ago
- Status changed from New to Resolved
Fixed in boolector-solver-integrating branch.
Updated by Sergey Smolov 9 months ago
- Status changed from Resolved to Open
Boolector's build for Windows does not work properly.
Updated by Sergey Smolov 6 months ago
- % Done changed from 0 to 100
- Status changed from Open to Resolved
Done in boolector-solver-integrating
branch
Updated by Sergey Smolov 6 months ago
- Published in build set to 0.4.34-beta-200916
- Status changed from Verified to Closed
gradle: get Boolector from repo (#10002)
Signed-off-by: Sergey Smolov <smolov@ispras.ru>