Created: 2023-11-20 22:31:07.34324 UTC
Preview (limited to 512 bytes)
"name: smtlib-backends-z3\r\nversion: 0.3\r\nx-revision: 1\r\nsynopsis: An SMT-LIB backend implemented using Z3's C API.\r\ndescription:\r\n This library implements an SMT-LIB backend (in the sense of the smtlib-backends\r\n package) using inlined calls to Z3's C API. It is thus in particular faster\r\n than the standard backends relying on running solvers as external processes, as\r\n the OS doesn't need to spawn processes and handle pipes between them.\r\n\r\nlicense: MIT\r\nlic"
A service provided by FP Complete