UNPKG

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).

github.com/Z3Prover/z3/tree/master/src/api/js

Z3Prover/z3

5 lines (4 loc) • 278 B
1
2
3
4
5
export * from './types.__GENERATED__'; export * from './wrapper.__GENERATED__'; export type Z3Core = Awaited<ReturnType<(typeof import('./wrapper.__GENERATED__'))['init']>>['Z3']; export type Z3LowLevel = Awaited<ReturnType<(typeof import('./wrapper.__GENERATED__'))['init']>>;