Sign in Sign up
cargo

smt-lang

Sat Modulo Theory Language

Latest release
Feb 17, 2023
Releases
19
Known CVEs
0
First release
Oct 28, 2022
License
unknown
View on Cargo
Repository

Source

davidd12/smt-lang
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

No other tracked packages from this repository.

Insights

Activity

Total releases
19
Last 12 months
0
Cadence
~daily
Dependencies
9

Releases per month

last 12 months

Release mix

  • minor 5
  • patch 13
19 releases
Dependencies

Depends on

0.7.5

Used by

Nothing tracked depends on this yet.

Releases
Version Released
0.7.5 patch
0.7.4 patch
0.7.3 patch
0.7.2 patch
0.7.1 minor
0.6.3 patch
0.6.2 patch
0.6.1 patch
0.6.0 minor
0.5.1 patch
0.5.0 minor
0.3.4 patch
0.3.3 minor
0.2.3 patch
0.2.2 patch
0.2.1 minor
0.1.2 patch
0.1.1 patch
0.1.0 initial