Alternatives and similar repositories for sha1-sat

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

• petersn / autosat
  Library for creation of SAT instances.
  ☆21Updated 2 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• vsklad / cgen
  CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…
  ☆25Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated last month
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 14 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• ths-rwth / smtrat
  ☆55Updated 2 weeks ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• kmowery / libfixedtimefixedpoint
  A library for doing constant-time fixed-point numeric operations
  ☆27Updated 4 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 9 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 9 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆84Updated last week
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆32Updated last week
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 6 months ago
• martinjonas / Q3B
  ☆28Updated 2 months ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆73Updated 2 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• mmjb / T2
  T2 Temporal Prover
  ☆95Updated 7 years ago