assignment2kakuro.cpp File Reference
#include <stdlib.h>
#include <vector>
#include <iostream>
#include <iomanip>
#include <fstream>
#include <string>
#include <sstream>
#include "../libcnf/libcnf.h"
#include "kakuro.h"
+ Include dependency graph for assignment2kakuro.cpp:

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.

Function Documentation

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.

 All Classes Files Functions Variables