GitHub repository: kw90/ctw_translation_toolchain
Primary language: Jupyter Notebook
Created: 2020-07-03T11:56:35Z
Description: Translate dat files to dzn, flattened fzn using mzn models and smt2 files.