Sign in Sign up
npm

@cooljapan/oxiz

WebAssembly bindings for OxiZ SMT Solver

Latest release
1d ago
Releases
1
Known CVEs
0
First release
Jun 09, 2026
License
Apache-2.0
View on Npm
Repository

Source

cool-japan/oxiz
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
1
Last 12 months
1
Cadence
—
Dependencies
0

Releases per month

last 12 months

Release mix

1 releases
Releases
Version Released
0.2.3 initial