Alternatives and similar repositories for awesome-sat-solvers

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

• voidlizard / hbs2

  View on GitHub
  P2P CAS / P2P Framework / Distributed GIT
  ☆23Aug 27, 2025Updated 5 months ago
• mazhora / ansible-role-wireguard-mesh

  View on GitHub
  Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.
  ☆12Mar 21, 2024Updated last year
• mooculus / laode

  View on GitHub
  Open-source combined Linear Algebra and Ordinary Differential Equations textbook
  ☆10Jan 5, 2024Updated 2 years ago
• KvanTTT / AntlrBenchmarks

  View on GitHub
  Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)
  ☆10May 7, 2022Updated 3 years ago
• chrsmrrs / SpeqNets

  View on GitHub
  ☆11May 5, 2023Updated 2 years ago
• hadarshavit / revisiting_satzilla

  View on GitHub
  SATZilla SAT feature extraction tool
  ☆11Jan 15, 2026Updated last month
• aaw / sat

  View on GitHub
  SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B
  ☆10Jan 5, 2026Updated last month
• jamii / preimp

  View on GitHub
  ☆10Sep 7, 2022Updated 3 years ago
• research-team / robot-dream

  View on GitHub
  Prototype implementation of an architecture suggested in Robot Dream paper (http://arxiv.org/abs/1603.03007)
  ☆12Jul 3, 2019Updated 6 years ago
• AlgebraicJulia / ModelExploration.jl

  View on GitHub
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Oct 30, 2023Updated 2 years ago
• sustrik / igor

  View on GitHub
  ☆12Jun 14, 2021Updated 4 years ago
• lisitsyn / courses

  View on GitHub
  ☆16Sep 4, 2022Updated 3 years ago
• pettenuzzofabio / image-augmentation

  View on GitHub
  Image dataset augmentation for machine learning
  ☆14Jun 8, 2023Updated 2 years ago
• dcodeIO / purerc

  View on GitHub
  ☆13Apr 12, 2019Updated 6 years ago
• acorrenson / WiSE

  View on GitHub
  A formally verified bug finder
  ☆14Nov 25, 2024Updated last year
• iutzeler / skwdro

  View on GitHub
  Distributionally robust machine learning with Pytorch and Scikit-learn wrappers
  ☆18Dec 19, 2025Updated last month
• lgvaz / fastcook

  View on GitHub
  Fast recipes for fastai
  ☆11Apr 12, 2023Updated 2 years ago
• ForNeVeR / Fabricator

  View on GitHub
  The sharpest infrastructure automation tool.
  ☆18Updated this week
• quancs / UPSimulator

  View on GitHub
  A univeral P system simulator for membrane computing researchers.
  ☆10Dec 28, 2019Updated 6 years ago
• berewt / acme-haskellee

  View on GitHub
  Haskell Enterprise Edition
  ☆12Nov 17, 2017Updated 8 years ago
• mcneel / MOVED-rhinoscript

  View on GitHub
  RhinoScript Samples
  ☆17Mar 17, 2017Updated 8 years ago
• EngineeringSoftware / math-comp-corpus

  View on GitHub
  Corpus of Coq code related to MathComp including several machine-readable representations
  ☆10Sep 6, 2022Updated 3 years ago
• HyungJu / code-blocks-mac

  View on GitHub
  Code Blocks 20.03 for macOS
  ☆11Apr 22, 2020Updated 5 years ago
• shakasom / GeoPython

  View on GitHub
  Geopandas and Shapely
  ☆10Jul 29, 2018Updated 7 years ago
• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• pykml / pykml

  View on GitHub
  A Python package for creating and manipulating KML documents.
  ☆12Jan 2, 2022Updated 4 years ago
• mrDIMAS / rg3d-physics

  View on GitHub
  Simple physics library for rg3d engine.
  ☆12Oct 29, 2020Updated 5 years ago
• MyGodIsHe / pipeplot

  View on GitHub
  Displays an interactive graph based on data from pipe.
  ☆13Jul 3, 2020Updated 5 years ago
• lawrencecpaulson / lawrencecpaulson.github.io

  View on GitHub
  the blog "Machine Logic"
  ☆22Updated this week
• hpi-swa / Gramada

  View on GitHub
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆17Mar 6, 2020Updated 5 years ago
• ForNeVeR / praefectus

  View on GitHub
  Programmable organizer application suite.
  ☆16Feb 10, 2026Updated last week
• lnhutnam / Chat-App

  View on GitHub
  Desktop chat app using Java Swing, Networking, Multi-threading - Project for Topics in Java Application Course
  ☆10Sep 26, 2020Updated 5 years ago
• watcl-lab / Graph-Attention-Retrospective

  View on GitHub
  ☆12Mar 1, 2022Updated 3 years ago
• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 4 years ago
• qhnhynmm / ViOCRVQA-Dataset

  View on GitHub
  The largest VQA dataset for Vietnamese. Related to the text content in the image.
  ☆19Apr 9, 2025Updated 10 months ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• jmid / wasm-prop-tester

  View on GitHub
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Sep 5, 2021Updated 4 years ago
• guillaumejaume / tuto-dl-on-graphs

  View on GitHub
  ☆14Oct 29, 2020Updated 5 years ago
• msoos / cnf-utils

  View on GitHub
  Dimacs CNF utilities
  ☆21Feb 12, 2025Updated last year