Similar repositories to daajoe/GPUSAT:

• daajoe/GPUSAT github similar
• hmarkus/dp_on_dbs github similar
• zhunyoung/NeurASP github similar
• MarcRoigVilamala/DeepProbCEP github similar
• meelgroup/ganak github similar
• azreasoners/NeurASP github similar
• mabseher/htd github similar
• marcthurley/sharpSAT github similar
• meelgroup/approxmc github similar
• MatthiasNickles/diff-SAT github similar
• eth-sri/dl2 github similar
• ivmai/cudd github similar
• DeepGraphLearning/RNNLogic github similar
• logictensornetworks/logictensornetworks github similar
• arranger1044/awesome-spn github similar
• SPFlow/SPFlow github similar
• pysathq/pysat github similar
• arminbiere/kissat github similar
• SRI-CSL/yices2 github similar
• locuslab/SATNet github similar
• crazydonkey200/neural-symbolic-machines github similar
• vacancy/NSCL-PyTorch-Release github similar
• deepmind/dsprites-dataset github similar
• stp/stp github similar
• msoos/cryptominisat github similar
• potassco/clingo github similar
• berkeley-abc/abc github similar
• probml/pyprobml github similar
• Z3Prover/z3 github similar
• facebookresearch/detr github similar
• deepmind/deepmind-research github similar
• facebookresearch/detectron2 github similar
• matterport/Mask_RCNN github similar
• google-research/google-research github similar
• facebookresearch/Detectron github similar