Similar repositories to alexander-nadel/intel_sat_solver:

• alexander-nadel/intel_sat_solver github similar
• MiniZinc/mzn-challenge github similar
• stacs-cp/AutoIG github similar
• potassco/flatzingo github similar
• airbus/discrete-optimization github similar
• Sumith1896/tusSAT github similar
• CP-Unibo/sunny-cp github similar
• marcthurley/sharpSAT github similar
• ehebrard/Mistral-2.0 github similar
• biotomas/ipasir github similar
• akr/codegen github similar
• shnarazk/splr github similar
• rishabhs/sygus-comp14 github similar
• vegard/sha1-sat github similar
• chuffed/chuffed github similar
• marijnheule/microsat github similar
• sambayless/monosat github similar
• MiniZinc/MiniZincIDE github similar
• pysathq/pysat github similar
• scipopt/scip github similar
• dselsam/neurosat github similar
• radsz/jacop github similar
• Gecode/gecode github similar
• 0vercl0k/z3-playground github similar
• MiniZinc/libminizinc github similar
• verifast/verifast github similar
• arminbiere/kissat github similar
• ERGO-Code/HiGHS github similar
• dselsam/certigrad github similar
• ligurio/practical-fm github similar
• stp/stp github similar
• chainer/chainer-chemistry github similar
• niklasso/minisat github similar
• chocoteam/choco-solver github similar
• msoos/cryptominisat github similar
• tensorflow/deepmath github similar
• facebookincubator/below github similar
• tenderlove/asmrepl github similar
• goodfeli/dlbook_exercises github similar
• sile-typesetter/sile github similar