Set of tools produced during the creation of the PhD thesis "Model selection and testing for an automated constraint modelling toolchain" which focused on how to find good constraint programming models automatically and how to test them.
Primary LanguageHaskell