Revision history for Formula2CNF 0.1.0.0 -- YYYY-mm-dd First version. Released on an unsuspecting world.