b2i offline
Merge branch 'feature-lns' into develop
fix filter lack
Merge branch 'develop' into feature-imprDiffn
Merge branch 'feature-imprDiffn' into develop
PGLNS: update the way epsilon is updated when the fgmt is wrong
Merge branch 'feature-lns' into develop
Merge branch 'develop' into feature-mzn
Add Once abstract strategy (only used on FGoal)
Fix bug in VF
fix Diffn
First step to minisat
Fix trailing process in SatSolver and entailment in PropSat
count reif
Merge branch 'feature-countReif' into develop
Merge branch 'develop' into feature-fznproc
Update SQL queries
fin count reif
b2i filter
Merge branch 'feature-fznproc' into develop