SMT

1. Place 10.0
   

   SRI-CSL/yices2

   SRI Yices SMT Solver

   0 today489 stars#10366 overall
2. Place 20.0
   

   bitwuzla/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”.

   0 today411 stars#22121 overall
3. Place 30.0
   

   ByteDance-Seed/EdgeBench

   EdgeBench: Unveiling scaling laws of learning from real-world environments

   +1 today474 stars#44919 overall

Follow this list in a feed reader(Atom, top 25)