Similar repositories to stacs-cp/AutoIG:
stacs-cp/AutoIG
github
similar
ModRef/ModRef.github.io
github
similar
MiniZinc/mzn-challenge
github
similar
potassco/flatzingo
github
similar
alexander-nadel/intel_sat_solver
github
similar
CP-Unibo/sunny-cp
github
similar
ehebrard/Mistral-2.0
github
similar
chuffed/chuffed
github
similar
csplib/csplib
github
similar
MiniZinc/MiniZincIDE
github
similar
Gecode/gecode
github
similar
radsz/jacop
github
similar
pysathq/pysat
github
similar
SRI-CSL/yices2
github
similar
hakank/hakank
github
similar
ERGO-Code/HiGHS
github
similar
MiniZinc/libminizinc
github
similar
google/or-tools
github
similar
ShangtongZhang/reinforcement-learning-an-introduction
github
similar
syl20bnr/spacemacs
github
similar