#include <stdlib.h>
#include <vector>
#include <iostream>
#include <iomanip>
#include <fstream>
#include <string>
#include <sstream>
#include "../libcnf/libcnf.h"
#include "kakuro.h"
Go to the source code of this file.
Functions | |
void | assignment2Grid (VariableSet *vars, Kakuro *kak) |
int | main (int argc, char **argv) |
Parses the file specified in the first command-line argument and returns the corresponding sudoku grid. Of course, this file must correspond to an assignment as returned by minisat2. |
void assignment2Grid | ( | VariableSet * | vars, |
Kakuro * | kak | ||
) |
Definition at line 15 of file assignment2kakuro.cpp.
int main | ( | int | argc, |
char ** | argv | ||
) |
Parses the file specified in the first command-line argument and returns the corresponding sudoku grid. Of course, this file must correspond to an assignment as returned by minisat2.
Definition at line 55 of file assignment2kakuro.cpp.