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

Go to the source code of this file.

Functions

std::vector< std::vector< int > > assignment2Grid (std::istream *input)
 Takes an input stream to an assignment dimacs file and returns the full sudoku grid corresponding to this assignment.
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

std::vector< std::vector<int> > assignment2Grid ( std::istream *  input)

Takes an input stream to an assignment dimacs file and returns the full sudoku grid corresponding to this assignment.

Definition at line 16 of file assignment2sudoku.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 67 of file assignment2sudoku.cpp.

 All Files Functions Defines