Bring back units

Still issues with automake
Integrate units with automake setup
First reimplementation of dsatur
Inline some members of solution