Datalog with support for SMT queries and first-order functional programming
7 daysStars18124h gain0Score0.0
Search
Find trending repositories by name or description.
7 results for “smt”
RankRepository7 daysStars24h gainScore
SRI Yices SMT Solver
7 daysStars48924h gain0Score0.0
The efficient SMT-based context-bounded model checker (ESBMC)
7 daysStars49824h gain-Score0.0
SMT: The Surrogate Modeling Toolbox
7 daysStars92724h gain-Score0.0
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”.
7 daysStars41124h gain0Score0.0
A set of symbols, footprints and 3d models of the basic components from JLCPCB's smt assembly
7 daysStars50024h gain-Score0.0
Game Optimizer (CPUs Threads Optimizer) - Windows tray app that pins games to the right CPU cache complex using the Windows CPU Sets API. No affinity masks, no SMT disable, no BIOS changes.
7 daysStars19324h gain-Score0.0