[SCIP]

官方给了一些例子便于上手：Example projects

八皇后问题给出了一般流程：Using SCIP's callable library for solving the n-queens problem.

参数设置：list of all SCIP parameters

# solving stops, if the given number of solutions were found (-1: no limit)
# [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
limits/solutions = -1

# maximal number of nodes to process (-1: no limit)
# [type: longint, advanced: FALSE, range: [-1,9223372036854775807], default: -1]
limits/nodes = -1

# maximal time in seconds to run
# [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
limits/time = 1e+20

model.setRealParam('limits/time', 1.0)