Actions
Task #10002
closedget 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
Actions
Added by Sergey Smolov almost 5 years ago. Updated about 4 years ago.
100%
Fixed in boolector-solver-integrating branch.
Boolector's build for Windows does not work properly.
Done in boolector-solver-integrating branch