GitHub repository: kw90/ctw_toolchain
Primary language: Jupyter Notebook
Description: Translate dat files to dzn, flattened fzn using mzn models and smt2 files.