SimonKlx

Pinned Repositories

• hal

  HAL – The Hardware Analyzer

  Language:C++52772

• cadical

  CaDiCaL SAT Solver

  Language:C++325115

• bitwuzla

  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

  Language:SMT17127

SimonKlx's Repositories