Kevin Leo's repositories
Numberjack
Python Combinatorial Optimisation Platform
gnome-shell-extensions-negesti
some gnome-shell extensions
Team5Project
Team project website
Arma3gpVoice
GlovePie voice commands for Arma3
000
csplib
A benchmark library for constraints
Language:Prolog000
gecode
Generic Constraint Development Environment
Language:C++NOASSERTION000
minizinc-benchmarks
A suite of MiniZinc benchmarks.
Language:CMIT000