Similar repositories to juanmarcosdev/docker-minizinc-google-or-tools:
juanmarcosdev/docker-minizinc-google-or-tools
github
similar
juanmarcosdev/minizinc-or-tools
github
similar
QuMuLab/python-nnf
github
similar
amcdawes/QMlabs
github
similar
chuffed/chuffed
github
similar
potassco/clasp
github
similar
jph00/latex-ppt
github
similar
symengine/symengine.py
github
similar
pydy/pydy-tutorial-human-standing
github
similar
blaze/datashape
github
similar
Gecode/gecode
github
similar
enthought/traitsui
github
similar
pydy/pydy
github
similar
jupyter/atom-notebook
github
similar
sherpa-ai/sherpa
github
similar
locuslab/SATNet
github
similar
enthought/traits
github
similar
MiniZinc/libminizinc
github
similar
JuliaSymbolics/SymbolicUtils.jl
github
similar
cben/mathdown
github
similar
potassco/clingo
github
similar
pysmt/pysmt
github
similar
facebookresearch/gtn
github
similar
Anaconda-Platform/nb_conda_kernels
github
similar
etetoolkit/ete
github
similar
parrt/tensor-sensor
github
similar
danijar/dreamerv2
github
similar
pystruct/pystruct
github
similar
mrocklin/multipledispatch
github
similar
bokeh/bokeh-notebooks
github
similar
mathiasertl/fabric
github
similar
tensorflow/deepmath
github
similar
kivy/kivy-designer
github
similar
niklasso/minisat
github
similar
pytoolz/cytoolz
github
similar
JuliaNLSolvers/Optim.jl
github
similar
symengine/symengine
github
similar
Alexis-benoist/eralchemy
github
similar
blaze/odo
github
similar
JuliaSymbolics/Symbolics.jl
github
similar