Popular repositories Loading

1. tex-words-worm tex-words-worm Public

   Plot your latex word count over time

   Python 2

2. li-queens li-queens Public

   Solving the LinkedIn Queens Game

   Jupyter Notebook 1

3. felixvuo.github.io felixvuo.github.io Public

   Somewhere to share and publish during my PhD

   HTML

4. csplib csplib Public

   Forked from csplib/csplib

   A benchmark library for constraints

   Prolog

5. conjure conjure Public

   Forked from conjure-cp/conjure

   Conjure: The Automated Constraint Modelling Tool

   Haskell

6. cp2022-pbli-sat cp2022-pbli-sat Public

   Experimental Data for "Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints" in CP2022