First commit of the new version.
Added main data structures (only supporting dimacs format as input).