Alternatives and similar repositories for G2SAT

Users that are interested in G2SAT are comparing it to the libraries listed below

• danieldeutsch / summarize

  View on GitHub
  ☆12Nov 11, 2019Updated 6 years ago
• NVIDIA / GraphQSat

  View on GitHub
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆52Oct 20, 2020Updated 5 years ago
• RalfRothenberger / Power-Law-Random-SAT-Generator

  View on GitHub
  Power Law Random k-SAT Generator
  ☆15Nov 21, 2021Updated 4 years ago
• MIRALab-USTC / L2O-G2MILP

  View on GitHub
  This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.
  ☆34Oct 3, 2024Updated last year
• zhaoyu-li / G4SATBench

  View on GitHub
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆38May 14, 2024Updated last year
• adverifai / Satire_vs_Fake

  View on GitHub
  Identifying Nuances in Fake News vs. Satire: Using Semantic and Linguistic Cues (NLP4IF, EMNLP-IJCNLP 2019)
  ☆11Dec 21, 2020Updated 5 years ago
• Thinklab-SJTU / L2P-MIP

  View on GitHub
  ☆11Feb 26, 2024Updated last year
• SwiftieH / SpGAT

  View on GitHub
  Spectral Graph Attention Network with Fast Eigen-approximation
  ☆12Dec 24, 2021Updated 4 years ago
• jesse-michael-han / neuro-cadical

  View on GitHub
  CaDiCaL + neural glue variable predictions
  ☆10Oct 21, 2020Updated 5 years ago
• dselsam / neurosat

  View on GitHub
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆291Mar 12, 2019Updated 6 years ago
• leichen2018 / Ring-GNN

  View on GitHub
  ☆12Apr 16, 2020Updated 5 years ago
• Shikib / structured_fusion_networks

  View on GitHub
  Code for SIGDial 2019 Best Paper: Structured Fusion Networks for Dialog https://arxiv.org/abs/1907.10016
  ☆30Aug 19, 2019Updated 6 years ago
• shaowei-cai-group / EasySAT

  View on GitHub
  A Simple CDCL Solver
  ☆35Mar 8, 2023Updated 2 years ago
• LOGO-CUHKSZ / W2SAT

  View on GitHub
  ☆17May 24, 2023Updated 2 years ago
• saref / bayan

  View on GitHub
  Bayan Algorithm
  ☆13Jun 17, 2025Updated 7 months ago
• Graph-COM / DIG_MILP

  View on GitHub
  The official implementation of DIG-MILP
  ☆14Oct 27, 2023Updated 2 years ago
• aister2020 / KDDCUP_2020_AutoGraph_1st_Place

  View on GitHub
  KDD CUP 2020 Automatic Graph Representation Learning: 1st Place Solution
  ☆99Jan 12, 2021Updated 5 years ago
• Udopia / gbd

  View on GitHub
  Management of Benchmark Instances and Instance Attributes
  ☆20Feb 9, 2026Updated last week
• PwnerHarry / Stronger_GCN

  View on GitHub
  Implementations of "Break the Ceiling: Stronger Multi-scale Deep Graph Convolutional Networks"
  ☆53Sep 25, 2024Updated last year
• Thinklab-SJTU / HardSATGEN

  View on GitHub
  [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
  ☆22Jun 16, 2023Updated 2 years ago
• sat-heritage / docker-images

  View on GitHub
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆39Dec 18, 2022Updated 3 years ago
• microsoft / PDP-Solver

  View on GitHub
  PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
  ☆42Jun 12, 2023Updated 2 years ago
• bluer555 / KernelGCN

  View on GitHub
  Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs
  ☆34Feb 20, 2020Updated 5 years ago
• hheidrich / CELL

  View on GitHub
  Cross Entropy Low-rank Logits for graph generation.
  ☆18Aug 2, 2024Updated last year
• balcilar / gnn-matlang

  View on GitHub
  Code of "Breaking the Limits of Message Passing Graph Neural Networks" paper published in ICML2021
  ☆42Jun 10, 2021Updated 4 years ago
• brendenlake / meta_seq2seq

  View on GitHub
  PyTorch code for meta seq2seq learning
  ☆43Jan 14, 2020Updated 6 years ago
• JiaxuanYou / graph-generation

  View on GitHub
  GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models
  ☆735Jan 20, 2022Updated 4 years ago
• chrsmrrs / sparsewl

  View on GitHub
  Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"
  ☆21Jan 27, 2022Updated 4 years ago
• IBM / HOTT

  View on GitHub
  Code for NeurIPS 2019 paper "Hierarchical Optimal Transport for Document Representation"
  ☆54Jan 22, 2020Updated 6 years ago
• THUDM / GIAAD

  View on GitHub
  Graph Injection Adversarial Attack & Defense Dataset , extracted from KDD CUP 2020 ML2 Track
  ☆22Aug 19, 2024Updated last year
• nusnlp / contextemb-wsd

  View on GitHub
  Word sense disambiguation using contextualized word embedding
  ☆17Dec 18, 2019Updated 6 years ago
• LOGO-CUHKSZ / ASP

  View on GitHub
  ☆23Feb 8, 2024Updated 2 years ago
• Simewu / top-SAT-solvers-2021

  View on GitHub
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆22Mar 15, 2025Updated 11 months ago
• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• Haggaim / InvariantGraphNetworks

  View on GitHub
  Code for the ICLR 2019 paper "Invariant and Equiovariant Graph Networks"
  ☆25May 20, 2020Updated 5 years ago
• google-research / discs

  View on GitHub
  DISCS: The code base for the Benchmark for Discrete Sampling
  ☆63Aug 20, 2024Updated last year
• kaidic / GST

  View on GitHub
  ☆22Dec 4, 2023Updated 2 years ago
• c-swm / c-swm

  View on GitHub
  This repository has moved to: https://github.com/tkipf/c-swm
  ☆27Jan 5, 2020Updated 6 years ago
• ofirpress / sandwich_transformer

  View on GitHub
  This repository contains the code for running the character-level Sandwich Transformers from our ACL 2020 paper on Improving Transformer …
  ☆57Jan 1, 2021Updated 5 years ago