Simplify Var
Create assignument
Update assignment system
Merge branch 'feature/change-assignment-system' into develop
Add Assign level to assign
Define Assign data and decision flag
Impliciation Graph
CDCL
Merge branch 'feature/cdcl' into develop
Merge branch 'release/1.0'