Skip to content


  • Arctic Code Vault Contributor




  1. Generic Constraint Development Environment

    C++ 161 48

  2. Half-checking propagators paper and code


378 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview

Contribution activity

October 2020

Created a pull request in matklad/fall that received 4 comments

Update to edition 2018 and compile with recent rust versions

This commit contains a lot of small changes to update fall to edition 2018, mostly adding lots of dyn to dynamic object references and updating imp…

+1,116 −963 4 comments

Created an issue in MiniZinc/libminizinc that received 2 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.