Skip to content

Latest commit

 

History

History

mini_instance_INFEAS

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Data test mini_instance_INFEAS

Brief

This test case is an infeasible instance. It is used to test infeasible detection at optimization level. This test case is used by bendersEndToEnd test.

Problem formulation

min 1.5 x + y2

sc.

x = 1.5

x + y2 >= 2.5

x <= 1