Home My Page Projects anf2cnf
Summary Activity Forums Tracker News Files

Project description

This project aims to write an ANF-to-CNF converter that uses out all possible optimisations to better suit the need of the SAT-solving and cryptographic community.

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2009-10-21 11:46
Latest File Releases
Package Version Date Notes Download
anf2cnf v0.2 2012-05-30 anf2cnf - Release Notes anf2cnf v0.2 - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Project Members
Latest News