Bring exact solving via MILP back

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

Closed chengchihhong closed 5 years ago

chengchihhong commented 5 years ago

Reimplement the MILP-based engine as in ATVA'17 in nn-dependability-kit. Currently only static analysis is supported in formal reasoning.

chengchihhong commented 5 years ago

Will allow options to use IBM CPLEX.

chengchihhong commented 5 years ago

Basic version now available (without using dataflow analysis to get smaller M value)