This is stars and forks stats for /Boolector/boolector repository. As of 26 Apr, 2024 this repository has 282 stars and 54 forks.
Boolector Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and as solving under assumptions. The documentation of its API can be found here. Website More information about Boolector is available at: https://boolector.github.io Download The...
Boolector Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and as solving under assumptions. The documentation of its API can be found here. Website More information about Boolector is available at: https://boolector.github.io Download The...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
code-423n4/2022-05-factorydao | SolidityPythonHTML | 3 | 0 | 2 | 0 |
bazelbuild/apple_support | StarlarkShellC++ | 66 | 0 | 30 | 0 |
windmill-labs/windmill | JavaScriptSvelteRust | 6.1k | +36 | 195 | +6 |
jhubbardsf/svelte-sortablejs | SvelteJavaScriptHTML | 49 | 0 | 4 | 0 |
microsoft/Microsoft-3D-Movie-Maker | SWIGC++C | 3.6k | 0 | 260 | 0 |
eProsima/Fast-DDS-python | C++SWIGPython | 33 | 0 | 9 | 0 |
taichi-ishitani/tvip-axi | SystemVerilogOther | 248 | 0 | 83 | 0 |
dative/mmisi-frontend | TwigCSSTypeScript | 3 | 0 | 7 | 0 |
rainbow-me/rainbowkit | TypeScriptMDXJavaScript | 2k | 0 | 471 | 0 |
Linkontoask/radishes | TypeScriptLessOther | 226 | +1 | 27 | 0 |