Z3 Theorem Prover

Organization

@z3prover

On GitHub since March 2015

View on GitHub

Published Tools

12,048

Total Stars

Weekly Downloads

208

GitHub Followers

Public Repos

Published Tools

1 Skillacross 1 category

z3-solver

nbjorner

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

...more

SkillAI Tool

12K1 dir