Alternatives and similar repositories for ust-beamer

Users that are interested in ust-beamer are comparing it to the libraries listed below

• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• jesse-michael-han / neuro-cadical
  CaDiCaL + neural glue variable predictions
  ☆10Updated 4 years ago
• johannaSommer / generalization-neural-co-solvers
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆14Updated 2 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆11Updated last year
• Kapilhk / SatPie
  SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…
  ☆21Updated 5 years ago
• sikouhjw / MathorCupmodeling
  MathorCup杯数学建模论文模板
  ☆17Updated 5 years ago
• jar-ben / mustool
  ☆15Updated 2 years ago
• berkeley-abc / mvsis
  A copy of the latest version of MVSIS
  ☆11Updated 4 years ago
• ThiagoLira / AutoFisher-SV
  ☆10Updated last year
• mgudemann / iimc
  ☆14Updated 7 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 3 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• wenxiwang / neuroback
  ☆10Updated 8 months ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• HaroldLiuJ / GRE-Documents
  个人在备考GRE时用到的资料
  ☆19Updated 6 years ago
• xinychen / awesome-beamer
  Creating presentation slides by using Beamer in LaTeX.
  ☆116Updated last year
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆19Updated 2 years ago
• moqingyan / dsr-lm
  ☆11Updated 2 years ago
• chc-comp / chc-tools
  Tools for manipulating CHC and related files
  ☆15Updated 2 years ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆25Updated 2 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated 3 months ago
• polixir / ZOOpt
  A python package of Zeroth-Order Optimization (ZOOpt)
  ☆73Updated 2 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆12Updated 4 months ago
• MIRALab-USTC / AI4LogicSynthesis-PruneX
  ☆10Updated 2 years ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆18Updated 2 years ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• jiegec / maze-routing
  Implementation of several grid routers in Rust
  ☆13Updated 2 weeks ago