Welcome to anf2cnf project!

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.

Latest News

anf2cnf Sage script released

Mate Soos - 2010-09-23 17:19 -
Project Summary
Tracker Tracker

 - Bugs(0 open / 0 total)

 - Support(0 open / 0 total)

 - Patches(0 open / 0 total)

 - Feature Requests(0 open / 0 total)

Forums  Forums3 messages in 3 forums
FTP  Released Files



Powered By GForge Collaborative Development Environment