AMulet 2.0
AIG Multiplier Verification Tool
polynomial_solver.h
Go to the documentation of this file.
1 /*------------------------------------------------------------------------*/
8 /*------------------------------------------------------------------------*/
9 #ifndef _polynomial_solver_H
10 #define _polynomial_solver_H
11 /*------------------------------------------------------------------------*/
12 #include "elimination.h"
13 /*------------------------------------------------------------------------*/
16 // using command line input
17 extern bool gen_witness;
18 /*------------------------------------------------------------------------*/
19 
25 void init_gates_verify();
26 
37 void verify(const char * inp_f = 0,
38  const char * out_f1 = 0,
39  const char * out_f2 = 0,
40  const char * out_f3 = 0,
41  bool certify = 0);
42 
43 
44 #endif
contains functions used in the polynomial solver
bool gen_witness
Definition: polynomial_solver.cpp:12
void init_gates_verify()
Definition: polynomial_solver.cpp:15
void verify(const char *inp_f=0, const char *out_f1=0, const char *out_f2=0, const char *out_f3=0, bool certify=0)
Definition: polynomial_solver.cpp:26