Popular repositories Loading

1. omt2mzn omt2mzn Public

   OMT to MiniZinc parser

   Python 1

2. DMProject1617 DMProject1617 Public

   Python

3. BDProject1617 BDProject1617 Public

   Scala

4. omt2mzn-experiment omt2mzn-experiment Public

   This repo contains the packages to reproduce the experiments mentioned in the paper: 'From Optimization Modulo Theories to MiniZinc and Back' F.Contaldo, R.Sebastiani and P.Trentin. 2019, DISI Univ…

5. pysmt pysmt Public

   Forked from pysmt/pysmt

   pySMT: A library for SMT formulae manipulation and solving

   Python

6. SmartPipeline SmartPipeline Public

   Forked from giacbrd/SmartPipeline

   A framework for rapid development of robust data pipelines following a simple design pattern

   Python