Alternatives and similar repositories for sha1-sat

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

• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 6 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 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
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago
• meelgroup / bosphorus
  Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
  ☆76Updated 8 months ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆28Updated 2 years ago
• mangpo / greenthumb
  ☆90Updated 3 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated last month
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆223Updated 2 years ago
• petersn / autosat
  Library for creation of SAT instances.
  ☆23Updated 3 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• dansarie / sboxgates
  Program for finding low gate count implementations of S-boxes.
  ☆40Updated last year
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆194Updated 8 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆42Updated last year
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆59Updated 8 years ago
• smowton / llpe
  ☆55Updated last year
• marijnheule / microsat
  microsat
  ☆140Updated 3 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated last week
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year