search

dependable-ai / nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks
GNU Affero General Public License v3.0
34 stars 9 forks source link

Integrate CPLEX #27

Closed chengchihhong closed 5 years ago

chengchihhong commented 5 years ago

As the open source MILP solvers CBC or GLPK are buggy, add CPLEX connection as done in the old fortiss version.

chengchihhong commented 5 years ago

Cplex option now available.