Added beginning of Alloy Model
Continued To Build Solving Engine
Merge branch 'Satisfier'