z3-solver
Version:
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
19 lines (18 loc) • 579 B
TypeScript
/**
* Terminates all Emscripten worker threads spawned by Z3.
*
* Long-running Z3 operations (such as `solver.check()`) run on background
* worker threads. In Node.js these workers keep the process alive even after
* Z3 has finished. Call this function once you are done using Z3 to allow the
* Node.js process to exit cleanly.
*
* ```typescript
* import { init, killThreads } from 'z3-solver';
*
* const api = await init();
* // ... use Z3 ...
* await killThreads(api.em);
* ```
* @category Global
*/
export declare function killThreads(em: any): Promise<void>;