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