4 * Copyright: (c) Universitaet Karlsruhe
5 * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
8 * ILP formalization using:
14 #endif /* HAVE_CONFIG_H */
18 #include "becopyilp_t.h"
22 typedef struct _my_env_t {
27 static void ilp1_build(ilp_env_t *ienv) {
28 ienv->lp = new_lpp(ienv->co->name, lpp_minimize);
31 static void ilp1_apply(ilp_env_t *ienv) {
35 int co_solve_ilp1(copy_opt_t *co, double time_limit) {
41 static void only_that_you_can_compile_without_WITH_ILP_defined(void) {