Pinned Repositories
als
Astro Live Stacker
chuffed
The CP solver Chuffed
chuffed-1
The Chuffed CP solver
coreemu
Automatically exported from code.google.com/p/coreemu
csplib
A benchmark library for constraints
gecode
Generic Constraint Development Environment
homebrew-indi
Homebrew packages for libindi build (mainly on travis but also for users)
indi-allsky
Software to manage a Linux-based All Sky Camera.
MARIE.js
A MARIE simulator made in JavaScript :pencil:
MiniZinc-server
guidotack's Repositories
guidotack/MARIE.js
A MARIE simulator made in JavaScript :pencil:
guidotack/als
Astro Live Stacker
guidotack/chuffed
The CP solver Chuffed
guidotack/chuffed-1
The Chuffed CP solver
guidotack/coreemu
Automatically exported from code.google.com/p/coreemu
guidotack/csplib
A benchmark library for constraints
guidotack/gecode
Generic Constraint Development Environment
guidotack/homebrew-indi
Homebrew packages for libindi build (mainly on travis but also for users)
guidotack/indi-allsky
Software to manage a Linux-based All Sky Camera.
guidotack/MiniZinc-server
guidotack/MiniZinc-webui
A web interface that connects to MiniZinc-server.
guidotack/or-tools
Google's Operations Research tools:
guidotack/shackle
A constraint modelling and rewriting library and compiler framework written in rust