Replaced op::OptimizeVar with custom MaximizeVar
Cosmetic changes
Solver -> ConstraintSolver
Separated VarStorage from ConstraintSolver
Renamed MakeRel -> MakeConRel
Domain solver determined by Var
Solver choosing logic
Added very basic linear solver
Added *.swn ignore
Added linear solving example and updated missing features