Björn Engelmann comments

Repositories
Issues
Comments

Results 4 comments of


                                            Björn Engelmann

NotEqualsExpression should handle the type of lists as EqualsExpression does.

Clarification: This Issue means: Typechecking for EqualsExpression and NotEqualsExpression should work in the same way. Extending this functionality to other CollectionTypes is the subject of #239 . I hence modified...

Type checks for equals/not-equals on lists should work also for other kinds of collections.

What about Maps?

Feature: Persisting the solver state and Resuming from it.

Thanks for the in-depth answer. ``` Regarding 1, I wonder if adding a configuration option to save state to a file if a solver is interrupted will be a way...

Feature: Persisting the solver state and Resuming from it.

> I will add a "solver.cancel_backup_file=" parameter. That sounds great! I will take a look at it. > to test it, it would be useful with some representative workloads. The...