software/minizinc/solvers/fzn/fzn_solverfactory.cpp at develop

The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper

half-reif-benchmarks / software / minizinc / solvers / fzn / fzn_solverfactory.cpp

at develop 9 lines 319 B view raw

wrap content

1#include <minizinc/solvers/fzn_solverfactory.hh>
2#include <minizinc/solvers/fzn_solverinstance.hh>
3
4namespace MiniZinc {
5namespace {
6void get_wrapper() { static FZNSolverFactory _fzn_solverfactory; }
7}  // namespace
8FZNSolverFactoryInitialiser::FZNSolverFactoryInitialiser() { get_wrapper(); }
9}  // namespace MiniZinc