software/minizinc/solvers/mzn/mzn_solverfactory.cpp at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / solvers / mzn / mzn_solverfactory.cpp

at develop 319 B view raw

1#include <minizinc/solvers/mzn_solverfactory.hh>
2#include <minizinc/solvers/mzn_solverinstance.hh>
3
4namespace MiniZinc {
5namespace {
6void get_wrapper() { static MZNSolverFactory _mzn_solverfactory; }
7}  // namespace
8MZNSolverFactoryInitialiser::MZNSolverFactoryInitialiser() { get_wrapper(); }
9}  // namespace MiniZinc