software/mza/solvers/fzn/fzn_solverfactory.cpp at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / solvers / fzn / fzn_solverfactory.cpp

at develop 336 B view raw

 1#include <minizinc/solvers/fzn_solverfactory.hh>
 2#include <minizinc/solvers/fzn_solverinstance.hh>
 3
 4namespace MiniZinc {
 5namespace {
 6void getWrapper() {
 7  static FZN_SolverFactory _fzn_solverfactory;
 8  return;
 9}
10}  // namespace
11FZN_SolverFactoryInitialiser::FZN_SolverFactoryInitialiser(void) { getWrapper(); }
12}  // namespace MiniZinc