Alternatives and similar repositories for sat-solver

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

• allvm / allvm-tools
  ALLVM Tools
  ☆57Updated 3 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆49Updated last year
• PrincetonUniversity / DeepSpecDB
  ☆28Updated 2 months ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆84Updated 6 years ago
• seL4 / camkes
  Component Architecture test suite and example apps.
  ☆32Updated 5 months ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• nyuichi / xv6
  xv6 porting to GAIA architecture
  ☆47Updated 10 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆58Updated 2 years ago
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆92Updated last month
• retrage / akari
  VMM-based macOS Native Container Runtime
  ☆37Updated 9 months ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 5 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆27Updated 6 months ago
• tchajed / futex-tutorial
  ☆17Updated last year
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 10 months ago
• yaegashi / muslstack
  Binary patch utility to set default thread stack size for musl libc
  ☆22Updated 6 years ago
• sebhub / rb-bench
  ☆16Updated 6 years ago
• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆151Updated 4 years ago
• hikalium / nvme_uio
  Simple implementation of NVMe Linux usermode driver
  ☆21Updated 8 years ago
• Lancern / cache-coherence-protocol-bench
  Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms
  ☆14Updated 4 years ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago
• nullpo-head / xv6-mips
  A MIPS port of xv6
  ☆81Updated 9 years ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆20Updated 6 years ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated last week
• rcore-os / rcore-user
  User programs for rCore OS
  ☆19Updated 3 years ago
• gfx / hello-bpf-core
  An example app for BPF CO-RE and CI settings with GitHub Actions
  ☆14Updated 3 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• uw-unsat / exoverifier
  ☆18Updated 2 years ago