aig.cpp | Functions to parse and manipulate the input AIG |
aig.h | Functions to parse and manipulate the input AIG |
amulet.cpp | Main file of our tool AMulet2 |
elimination.cpp | Functions used in the polynomial solver |
elimination.h | Functions used in the polynomial solver |
gate.cpp | Class Gate and further functions to organize the gate structure, such as initializing the gate constraints |
gate.h | Class Gate and further functions to organize the gate structure, such as initializing the gate constraints |
hash_val.cpp | Functions used to compute hash values for variables |
hash_val.h | Functions used to compute hash values for variables |
monomial.cpp | Class Monomial and further functions to manipulate monomials |
monomial.h | Class Monomial and further functions to manipulate monomials |
nss.cpp | Functions necessary to generate Nullstellensatz proofs |
nss.h | Functions necessary to generate Nullstellensatz proofs |
pac.cpp | Functions necessary to generate PAC proofs |
pac.h | Functions necessary to generate PAC proofs |
parser.cpp | Functions necessary to parse the AIG |
parser.h | Functions necessary to parse the AIG |
polynomial.cpp | Arithmetic operations for polynomials |
polynomial.h | Arithmetic operations for polynomials |
polynomial_solver.cpp | Polynomial solving routine |
polynomial_solver.h | Polynomial solving routine |
signal_statistics.cpp | Used to handle signals, messages and statistics |
signal_statistics.h | Used to handle signals, messages and statistics |
slicing.cpp | Functions slice and order the gates |
slicing.h | Functions slice and order the gates |
substitution.cpp | Function to apply adder substitution |
substitution.h | |
substitution_engine.cpp | Substitution engine |
substitution_engine.h | Substitution engine |
term.cpp | Class Term and further functions to manipulate terms |
term.h | Class Term and further functions to manipulate terms |
variable.h | Class Var |