This program is free software; see LICENSE for more details.
Converts a multivariate polynomial system over the finite field GF(2) in algebraic normal form (ANF) into a logical formula in conjunctive normal form (CNF).
- Variety of term substitution strategies, for more details please see the corresponding paper. On request a copy of the paper can be sent to the interested reader.
- Support for different clause types:
- DIMACS
- XOR (for more details see the cryptominisat homepage)
SAGE v5.3 or later.
See doctests in anf2cnf_sage.py.
For any questions you can contact Philipp Jovanovic via: jovanovi@fim.uni-passau.de