SCIPApi.hpp File Reference

Low-level dynamic loader for the SCIP optimization solver. More...

#include <dlfcn.h>
#include <memory>
#include <string>
#include <vector>

Go to the source code of this file.

Namespaces
namespace	ZonoOpt

Macros
#define	ZONOOPT_SCIP_GET_SYMBOL   dlsym

Typedefs
typedef void *	ZonoOptScipLibHandle

Detailed Description

Low-level dynamic loader for the SCIP optimization solver.

SCIP is loaded at runtime via dlopen / LoadLibrary — there is no build-time dependency on SCIP. If the SCIP shared library cannot be loaded, is_available() returns false and the caller should fall back to the internal solver.

Macro Definition Documentation

ZONOOPT_SCIP_GET_SYMBOL

#define ZONOOPT_SCIP_GET_SYMBOL   dlsym

Typedef Documentation

ZonoOptScipLibHandle

typedef void* ZonoOptScipLibHandle