/*
    miniexact - Toolset to solve exact cover problems and extensions
    Copyright (C) 2021-2023  Maximilian Heisinger

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU Affero General Public License as
    published by the Free Software Foundation, either version 3 of the
    License, or (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Affero General Public License for more details.

    You should have received a copy of the GNU Affero General Public License
    along with this program.  If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef MINIEXACT_ALGORITHM_KNUTH_CNF_H
#define MINIEXACT_ALGORITHM_KNUTH_CNF_H

#ifdef __cplusplus
extern "C" {
#endif

typedef struct miniexact_algorithm miniexact_algorithm;

void
miniexact_algoritihm_knuth_cnf_set(miniexact_algorithm* a);

#ifdef __cplusplus
}
#endif

#endif
