Popular repositories Loading

1. CCS CCS Public

   Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc

   TeX 37 17

2. linux_variety linux_variety Public

   PLSQL 5

3. livro_modelos_PR livro_modelos_PR Public

   An experimental book on models solved by Constraint Programming (in PORTUGUESE)

   TeX 1 2

4. picat_slides picat_slides Public

   Slides do Curso de PICAT

   TeX 1

5. clingo-lessons clingo-lessons Public

   Forked from vsoch/clingo-lessons

   Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)

   Jupyter Notebook

6. pulp pulp Public

   Forked from coin-or/pulp

   A python Linear Programming API

   Python