MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models.

•A new solver, called MMFilter, to reason about weak model behaviors of short programs is proposed.•The solver relies on Prolog and Constraint Handling Rules.•This approach takes advantage of years of optimizations on constraint solvers.•The article presents the solver design and some experiments.