oxiz-smtcomp

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-opt
• oxiz-proof
• oxiz-sat
• oxiz-solver
• oxiz-spacer
• oxiz-theories
• @cooljapan/oxiz

Activity

Total releases

3

Last 12 months

3

Cadence

~22 days

Dependencies

20

Release mix

• axum ^0.8
• futures-util ^0.3 dev
• lru ^0.18
• oxiz-core ^0.2.3
• oxiz-solver ^0.2.3
• pdf-writer ^0.15
• proptest ^1.11 dev
• rand ^0.10
• rayon ^1.12
• serde ^1.0

• oxiz-cli