cprover
read_dimacs_cnf.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Reading DIMACS CNF
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_SOLVERS_SAT_READ_DIMACS_CNF_H
13
#define CPROVER_SOLVERS_SAT_READ_DIMACS_CNF_H
14
15
#include "
cnf.h
"
16
17
void
read_dimacs_cnf
(std::istream &in,
cnft
&dest);
18
19
#endif // CPROVER_SOLVERS_SAT_READ_DIMACS_CNF_H
cnf.h
CNF Generation, via Tseitin.
read_dimacs_cnf
void read_dimacs_cnf(std::istream &in, cnft &dest)
Definition:
read_dimacs_cnf.cpp:21
cnft
Definition:
cnf.h:17
solvers
sat
read_dimacs_cnf.h
Generated by
1.8.12