#include <stdlib.h>
#include <vector>
#include <iostream>
#include <fstream>
#include <string>
#include "../libcnf/libcnf.h"
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. |
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.