guidotack
Follow
-
shackle Public
Forked from shackle-rs/shackleA constraint modelling and rewriting library and compiler framework written in rust
Rust Mozilla Public License 2.0 UpdatedJan 30, 2025 -
indi-allsky Public
Forked from aaronwmorris/indi-allskySoftware to manage a Linux-based All Sky Camera.
Python GNU General Public License v3.0 UpdatedDec 17, 2022 -
gecode Public
Forked from Gecode/gecodeGeneric Constraint Development Environment
C++ Other UpdatedOct 18, 2021 -
als Public
Forked from deufrai/alsAstro Live Stacker
Python GNU General Public License v3.0 UpdatedApr 3, 2021 -
homebrew-indi Public
Forked from indilib/homebrew-indiHomebrew packages for libindi build (mainly on travis but also for users)
Ruby UpdatedApr 3, 2021 -
or-tools Public
Forked from google/or-toolsGoogle's Operations Research tools:
C++ UpdatedSep 24, 2020 -
MARIE.js Public
Forked from MARIE-js/MARIE.jsA MARIE simulator made in JavaScript 📝
-
chuffed-1 Public
Forked from chuffed/chuffedThe Chuffed CP solver
C++ MIT License UpdatedDec 20, 2016 -
MiniZinc-webui Public
Forked from Imvoo/MiniZinc-webuiA web interface that connects to MiniZinc-server.
JavaScript MIT License UpdatedOct 20, 2016 -
-
csplib Public
Forked from csplib/csplibA benchmark library for constraints
Prolog UpdatedJun 29, 2016 -
chuffed Public
Forked from geoffchu/chuffedThe CP solver Chuffed
C MIT License UpdatedFeb 18, 2016 -
coreemu Public
Automatically exported from code.google.com/p/coreemu