Merge branch 'develop' into feature-mzn
Add Once abstract strategy (only used on FGoal)
Fix bug in VF
First step to minisat
Fix trailing process in SatSolver and entailment in PropSat
Update SQL queries
Preparing PropClause removal + minzinc definitions are now based on clauses when necessary
Merge branch 'feature-mzn' into develop