Task #10002: get Boolector solver from server as dependency - Fortress - Open-Source Projects

Task #10002

get Boolector solver from server as dependency

Added by Sergey Smolov almost 2 years ago. Updated about 1 year ago.

Status:

Closed

Priority:

Normal

Assignee:

Category:

Solver

Target version:

Start date:

12/20/2019

Due date:

% Done:

100%

Estimated time:

Detected in build:

master

Published in build:

0.4.34-beta-200916

#1

Updated by Sergey Smolov over 1 year ago

Status changed from New to Resolved

Fixed in boolector-solver-integrating branch.

#2

Updated by Sergey Smolov over 1 year ago

Status changed from Resolved to Open

Boolector's build for Windows does not work properly.

#3

Updated by Sergey Smolov about 1 year ago

% Done changed from 0 to 100
Status changed from Open to Resolved

Done in boolector-solver-integrating branch

#4

Updated by Sergey Smolov about 1 year ago

Status changed from Resolved to Verified

#5

Updated by Sergey Smolov about 1 year ago

Published in build set to 0.4.34-beta-200916
Status changed from Verified to Closed

Also available in: Atom PDF