/*
 * Copyright (C) 2022 NHR@FAU, University Erlangen-Nuremberg.
 * All rights reserved.
 * Use of this source code is governed by a MIT-style
 * license that can be found in the LICENSE file.
 */
#include <stdlib.h>
#include <stdio.h>
#include <unistd.h>
#include <limits.h>
#include <float.h>

#include "parameter.h"
#include "solver.h"


int main (int argc, char** argv)
{
    Parameter params;
    Solver solver;
    initParameter(&params);

    if ( argc != 2 ) {
        printf("Usage: %s <configFile>\n",argv[0]);
        exit(EXIT_SUCCESS);
    }

    readParameter(&params, argv[1]);
    printParameter(&params);

    initSolver(&solver, &params, 2);
    solve(&solver);
    writeResult(&solver);

    return EXIT_SUCCESS;
}