This is stars and forks stats for /tweag/smtlib-backends repository. As of 10 May, 2024 this repository has 12 stars and 0 forks.
SMT-LIB backends This Haskell library provides different low-level ways of interacting with SMT solvers using SMT-LIB. We currently provide two different backends: a classic backend, available in the smtlib-backends-process package, implemented by running solvers as external processes, and a faster backend, available in the smtlib-backends-z3 package, implemented using Z3 as a library. In addition, the API allows for queuing commands so that they are sent to the backend only when a response is needed,...
SMT-LIB backends This Haskell library provides different low-level ways of interacting with SMT solvers using SMT-LIB. We currently provide two different backends: a classic backend, available in the smtlib-backends-process package, implemented by running solvers as external processes, and a faster backend, available in the smtlib-backends-z3 package, implemented using Z3 as a library. In addition, the API allows for queuing commands so that they are sent to the backend only when a response is needed,...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
sefinek24/Genshin-Impact-ReShade | C#Inno SetupHTML | 136 | 0 | 6 | 0 |
w3c/aria-practices | HTMLJavaScriptCSS | 1.1k | 0 | 271 | 0 |
janestreet/hardcaml | OCamlCStandard ML | 562 | 0 | 35 | 0 |
MScholtes/PS2EXE | PowerShellC#Batchfile | 846 | 0 | 157 | 0 |
ashemery/exploitation-course | PythonC | 2.2k | 0 | 368 | 0 |
ktisis-tools/Ktisis | C# | 165 | +5 | 36 | -1 |
dotnet/AspNetCore.Docs.Samples | C#HTMLCSS | 94 | 0 | 111 | 0 |
pichenettes/eurorack | C++PythonOther | 2.4k | +7 | 672 | 0 |
byrnexu/betterquant | C++CMakeShell | 154 | 0 | 54 | 0 |
mpromonet/webrtc-streamer | C++CMakeJavaScript | 2.4k | 0 | 542 | 0 |