benchmarking-solvers

There are 1 repositories under benchmarking-solvers topic.

  • ctw_toolchain

    Translate dat files to dzn, flattened fzn using mzn models and smt2 files.

    Language:Jupyter Notebook3