Alternatives and similar repositories for sha1-sat

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

• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 3 years ago
• kmowery / libfixedtimefixedpoint
  A library for doing constant-time fixed-point numeric operations
  ☆26Updated 4 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 14 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆192Updated 8 years ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆76Updated 6 months ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated 2 weeks ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 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
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years 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
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated last year
• mangpo / greenthumb
  ☆90Updated 3 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 2 months ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆23Updated 3 years ago
• smowton / llpe
  ☆52Updated last year
• kframework / c-semantics
  Semantics of C in K
  ☆316Updated 3 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 8 months ago