Automatic solver selection

Brought to you by: danieledipompeo, g_serazzi

#55 Automatic solver selection

Milestone: JMVA

Status: wont-fix

Owner: Giuliano Casale

Labels: None

Priority: 5

Updated: 2018-08-15

Created: 2015-03-11

Creator: Giuliano Casale

Private: No

Add a solver option that automatically selects the right solver on behalf of the user, for example based on computational complexity

Discussion

Giuliano Casale - 2015-03-11

Description has changed:

Diff:

--- old +++ new @@ -1 +1 @@ -Add a solver option that automatically selects the right solver on behalf of the user +Add a solver option that automatically selects the right solver on behalf of the user, for example based on computational complexity
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Anonymous
  
  Add attachments
  Cancel
  You seem to have CSS turned off. Please don't fill out this field.
  
  You seem to have CSS turned off. Please don't fill out this field.

Giuliano Casale - 2018-08-15

status: open --> wont-fix
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Anonymous
  
  Add attachments
  Cancel
  You seem to have CSS turned off. Please don't fill out this field.
  
  You seem to have CSS turned off. Please don't fill out this field.

Giuliano Casale - 2018-08-15

Not worth, Linearizer works well on all, put that as default?

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Anonymous
  
  Add attachments
  Cancel
  You seem to have CSS turned off. Please don't fill out this field.
  
  You seem to have CSS turned off. Please don't fill out this field.

Anonymous