Sudoku solver built using constrained integer programming.
Definition in file sudoku_main.cpp.
#include <iostream>
#include <sstream>
#include "sudoku_utils.h"
#include <scip/scip.h>
#include <scip/scipdefplugins.h>
Go to the source code of this file.
Functions | |
int | main (int argc, char *argv[]) |
int main | ( | int | argc, |
char * | argv[] ) |
Definition at line 39 of file sudoku_main.cpp.
References assert(), FALSE, sudoku::getSudokuPuzzle(), i, sudoku::printSudoku(), SCIP_Bool, SCIP_CALL, SCIP_OBJSENSE_MINIMIZE, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_OPTIMAL, SCIP_VARTYPE_BINARY, SCIPaddCoefLinear(), SCIPaddCons(), SCIPaddVar(), SCIPcreate(), SCIPcreateConsBasicLinear(), SCIPcreateProbBasic(), SCIPcreateVarBasic(), SCIPfixVar(), SCIPfree(), SCIPgetBestSol(), SCIPgetSolVal(), SCIPgetStatus(), SCIPincludeDefaultPlugins(), SCIPreleaseCons(), SCIPreleaseVar(), SCIPsetIntParam(), SCIPsetObjsense(), SCIPsolve(), sol, TRUE, and var.