oxiz

Stars

—

Forks

—

Open issues

—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

• oxiz-cli
• oxiz-core
• oxiz-math
• oxiz-nlsat
• oxiz-opt
• oxiz-proof
• oxiz-sat
• oxiz-smtcomp
• oxiz-solver
• oxiz-spacer
• oxiz-theories
• @cooljapan/oxiz

Activity

Total releases

7

Last 12 months

7

Cadence

~18 days

Dependencies

12

Release mix

• num-bigint ^0.4 dev
• num-bigint ^0.4
• num-traits ^0.2
• oxiz-core ^0.2.3
• oxiz-math ^0.2.3
• oxiz-nlsat ^0.2.3
• oxiz-opt ^0.2.3
• oxiz-proof ^0.2.3
• oxiz-sat ^0.2.3
• oxiz-solver ^0.2.3

• splitrs