Alternatives and similar repositories for awesome-uva

Users that are interested in awesome-uva are comparing it to the libraries listed below

• wenxiwang / neuroback
  ☆10Updated 7 months ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 10 months ago
• hadarshavit / revisiting_satzilla
  SATZilla SAT feature extraction tool
  ☆10Updated last year
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆18Updated 3 weeks ago
• runekrauss / freddy
  A design automation framework to engineer decision diagrams yourself
  ☆21Updated last month
• master-keying / pblib
  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF
  ☆20Updated last year
• mgudemann / iimc
  ☆14Updated 7 years ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆16Updated 2 years ago
• oslugr / curso-python-avanzado
  Repo para el desarrollo colaborativo del curso de Python Avanzado de la OSL
  ☆40Updated 9 years ago
• RafaelTupynamba / GuidedSampler
  GuidedSampler: Coverage-guided Sampling of SMT Solutions
  ☆12Updated last month
• hgupta01 / svm_classification_keras
  Implementing SVM layer for classification using Keras Module
  ☆7Updated last year
• equinor / isar
  Integration and Supervisory control of Autonomous Robots
  ☆19Updated this week
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 3 months ago
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆7Updated 8 years ago
• jar-ben / mustool
  ☆15Updated 2 years ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆25Updated last year
• mohdomama / Quine-McCluskey
  A Python/C++ implementation of Quine McCluskey(Tabulation) method.
  ☆12Updated 6 years ago
• JJ / TF-libres-UGR
  Repositorio para trabajos fin de grado y máster y tesis libres leídas en la UGR.
  ☆27Updated last year
• yaohsiaopid / rtl2uspec
  ☆11Updated last month
• ycunxi / ACEC_benchmarks
  Arithmetic multiplier benchmarks
  ☆11Updated 7 years ago
• jatinmandav / Verilog-HDL
  Programs based on Verilog - Hardware Description Language
  ☆8Updated 7 years ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• iscas-tis / CHA
  ☆19Updated last year
• alexanderskulikov / circuit_improvement
  ☆6Updated last month
• Daikon-Sun / Routing-Visualization
  Routing Visualization for Physical Design
  ☆19Updated 6 years ago
• ekiwi / open-source-formal-verification-for-chisel
  ☆10Updated 3 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆12Updated 2 months ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 4 months ago