Similar repositories to sofdem/gccat:
sofdem/gccat
github
similar
superfly/litefs
github
similar
friguzzi/bddem
github
similar
RussAbbott/pylog_FD
github
similar
sfkleach/GOSPL
github
similar
ed-lam/nutmeg
github
similar
vrthra/qnial
github
similar
geoffchu/chuffed
github
similar
poplog/poplog
github
similar
CP-Unibo/sunny-cp
github
similar
xcsp3team/pycsp3
github
similar
graphaware/graph-technology-landscape
github
similar
haldai/Jurassic.pl
github
similar
ehebrard/Mistral-2.0
github
similar
friguzzi/aleph
github
similar
claudiosa/CCS
github
similar
zenlc2000/pyp3
github
similar
hardbol/spitbol
github
similar
friguzzi/cplint
github
similar
didoudiaz/gprolog
github
similar
chuffed/chuffed
github
similar
csplib/csplib
github
similar
MiniZinc/minizinc-benchmarks
github
similar
conjure-cp/conjure
github
similar
potassco/clasp
github
similar
TuringLang/DynamicPPL.jl
github
similar
CPMpy/cpmpy
github
similar
trizen/sidef
github
similar
bamos/beamer-snippets
github
similar
MiniZinc/MiniZincIDE
github
similar
eth-sri/psi
github
similar
wixtoolset/wix4
github
similar
mjwybrow/dunnart
github
similar
jpaulm/drawfbp
github
similar
aumouvantsillage/TablaZinc
github
similar
gaphor/gaphas
github
similar
GraphBLAS/GraphBLAS-Pointers
github
similar
pzwang/lostweb
github
similar
jpaulm/javafbp
github
similar
stan-dev/cmdstan
github
similar