This is stars and forks stats for /bitwuzla/bitwuzla repository. As of 25 Apr, 2024 this repository has 124 stars and 19 forks.
Bitwuzla Bitwuzla is a Satisfiability Modulo Theories (SMT) solvers for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. If you are using Bitwuzla in your work, or if you incorporate it into software of your own, we invite you to send us a description and link to your project/software, so that we can link it as third party application on bitwuzla.github.io. Website More information about Bitwuzla is available at: https://bitwuzla.github.io Documentation Documentation...
Bitwuzla Bitwuzla is a Satisfiability Modulo Theories (SMT) solvers for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations. If you are using Bitwuzla in your work, or if you incorporate it into software of your own, we invite you to send us a description and link to your project/software, so that we can link it as third party application on bitwuzla.github.io. Website More information about Bitwuzla is available at: https://bitwuzla.github.io Documentation Documentation...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| janosh/svelte-multiselect | TypeScriptSvelteCSS | 219 | 0 | 28 | 0 |
| racerxdl/riskow | VerilogCMakefile | 120 | 0 | 8 | 0 |
| Havoc-OS/android_external_vim | Vim ScriptCRoff | 0 | 0 | 0 | 0 |
| productdevbook/oku-nuxt3-template | VueTypeScriptJavaScript | 489 | 0 | 72 | 0 |
| Rule-34/App | VueJavaScriptHTML | 94 | 0 | 15 | 0 |
| vincentfpgarcia/kNN-CUDA | CudaMATLABC++ | 455 | 0 | 104 | 0 |
| CydVilla/RC-Cohort2022a | EJSCSSSCSS | 0 | 0 | 7 | 0 |
| Newbion1/psych-engine-0.5.2h | HaxeCC++ | 2 | 0 | 89 | 0 |
| Lkruitwagen/global-fossil-fuel-supply-chain | Jupyter NotebookPython | 169 | 0 | 12 | 0 |
| andyzoujm/autocast | Jupyter NotebookPythonShell | 168 | 0 | 49 | 0 |