oxiz-opt

Stars

—

Forks

—

Open issues

—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

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

Activity

Total releases

8

Last 12 months

8

Cadence

~15 days

Dependencies

14

Release mix

• criterion ^0.8 dev
• num-bigint ^0.4
• num-rational ^0.4
• num-traits ^0.2
• oxiz-core ^0.2.3
• oxiz-sat ^0.2.3
• oxiz-solver ^0.2.3
• proptest ^1.11 dev
• rand ^0.10
• rayon ^1.12

• oxiz