z3-solver-full

wi-ski
esm
z3-solver-full JS library on GitHub z3-solver-full JS library on npm Download z3-solver-full JS library

Full-surface Z3 4.16.0 WASM bindings — zero dependencies. User propagators, clause streaming, chainable DSL, exact model inspection.

Version 0.2.0 License MIT
z3-solver-full has no homepage
z3-solver-full JS library on GitHub
z3-solver-full JS library on npm
Download z3-solver-full JS library
Keywords
z3smtsatwasmsolveruser-propagatorcallbacksconstraint-solvingtheorem-prover
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN