https://github.com/awslabs/rust-smt-ir

Science Score: 36.0%

This score indicates how likely this project is to be science-related based on various indicators:

○
CITATION.cff file
✓
codemeta.json file
Found codemeta.json file
✓
.zenodo.json file
Found .zenodo.json file
○
DOI references
○
Academic publication links
✓
Committers with academic emails
1 of 10 committers (10.0%) from academic institutions
○
Institutional organization owner
○
JOSS paper metadata
○
Scientific vocabulary similarity
Low similarity (3.2%) to scientific vocabulary

Keywords from Contributors

diagram labels interaction

Last synced: 10 months ago · JSON representation

Repository

Basic Info

Host: GitHub
Owner: awslabs
License: apache-2.0
Language: SMT
Default Branch: main
Size: 12.7 MB

Statistics

Stars: 40
Watchers: 12
Forks: 9
Open Issues: 1
Releases: 3

Created almost 5 years ago · Last pushed about 1 year ago

Metadata Files

Readme Contributing License Code of conduct

README.md

rust-smt-ir

This project provides an intermediate representation (IR) in Rust for SMT-LIB queries along with tools for performing computations over queries and transforming queries in various ways.

N.B.: we have recently split this repository so only the IR and transformer code is in this repo. Example code has been moved to the rust-smt-ir-examples repository.

Security

See CONTRIBUTING for more information.

License

This project is licensed under the Apache-2.0 License.

Owner

Name: Amazon Web Services - Labs
Login: awslabs
Kind: organization
Location: Seattle, WA

Website: http://amazon.com/aws/
Repositories: 914
Profile: https://github.com/awslabs

AWS Labs

GitHub Events

Total

Watch event: 5
Member event: 2
Push event: 1
Fork event: 1

Last Year

Watch event: 5
Member event: 2
Push event: 1
Fork event: 1

Committers

Last synced: about 3 years ago

All Time

Total Commits: 66
Total Committers: 10
Avg Commits per committer: 6.6
Development Distribution Score (DDS): 0.5

Past Year

Commits: 21
Committers: 3
Avg Commits per committer: 7.0
Development Distribution Score (DDS): 0.333

Top Committers

Name	Email	Commits
Bruno Dutertre	d**n@a**m	33
Mike Whalen	m**w@a**m	14
mww-aws	5**s@u**m	6
Max Heller	m**r@b**u	3
Michael Giancola	m**a@g**m	3
dependabot[bot]	4**]@u**m	3
Amazon GitHub Automation	5**o@u**m	1
Bruno Dutertre	B**e@u**m	1
Ellen Arteca	e**a@g**m	1
Leo Alt	l**o@e**g	1

Committer Domains (Top 20 + Academic)

amazon.com: 2 ethereum.org: 1 brown.edu: 1

Issues and Pull Requests

Last synced: 11 months ago

All Time

Total issues: 3
Total pull requests: 13
Average time to close issues: 26 days
Average time to close pull requests: 1 day
Total issue authors: 2
Total pull request authors: 8
Average comments per issue: 0.67
Average comments per pull request: 0.92
Merged pull requests: 13
Bot issues: 0
Bot pull requests: 3

Past Year

Issues: 0
Pull requests: 0
Average time to close issues: N/A
Average time to close pull requests: N/A
Issue authors: 0
Pull request authors: 0
Average comments per issue: 0
Average comments per pull request: 0
Merged pull requests: 0
Bot issues: 0
Bot pull requests: 0

View more stats

Top Authors

Issue Authors

leonardoalt (2)
mww-aws (1)

Pull Request Authors

max-heller (3)
dependabot[bot] (3)
abizjak (2)
mjgiancola (2)
BrunoDutertre (1)
evanlohn (1)
leonardoalt (1)
emarteca (1)

Top Labels

Issue Labels

Pull Request Labels

dependencies (3)

Packages

Total packages: 4
Total downloads:
- cargo 12,752 total

Total dependent packages: 2
(may contain duplicates)
Total dependent repositories: 2
(may contain duplicates)
Total versions: 9
Total maintainers: 2

crates.io: aws-smt-ir

Intermediate representation for SMT problems

Documentation: https://docs.rs/aws-smt-ir/
License: Apache-2.0
Latest release: 0.3.0
published almost 3 years ago

Versions: 4
Dependent Packages: 0
Dependent Repositories: 1
Downloads: 5,472 Total

Rankings

Dependent repos count: 16.5%

Forks count: 17.8%

Stargazers count: 20.1%

Average: 30.8%

Dependent packages count: 36.1%

Downloads: 63.4%

Maintainers (2)

BrunoDutertre mww-aws

Last synced: 10 months ago

crates.io: amzn-smt-ir-derive

Intermediate representation for SMT problems

Documentation: https://docs.rs/amzn-smt-ir-derive/
License: Apache-2.0

Versions: 1
Dependent Packages: 1
Dependent Repositories: 1
Downloads: 1,321 Total

Rankings

Dependent repos count: 16.5%

Forks count: 17.8%

Dependent packages count: 18.2%

Stargazers count: 20.1%

Average: 31.5%

Downloads: 85.1%

Maintainers (2)

BrunoDutertre mww-aws

Last synced: 10 months ago

crates.io: aws-smt-ir-derive

Intermediate representation for SMT problems

Documentation: https://docs.rs/aws-smt-ir-derive/
License: Apache-2.0
Latest release: 0.1.2
published almost 3 years ago

Versions: 3
Dependent Packages: 1
Dependent Repositories: 0
Downloads: 4,696 Total

Rankings

Dependent packages count: 17.0%

Forks count: 18.8%

Stargazers count: 19.5%

Dependent repos count: 29.3%

Average: 31.7%

Downloads: 73.7%

Maintainers (2)

BrunoDutertre mww-aws

Last synced: 10 months ago

crates.io: amzn-smt-ir

Intermediate representation for SMT problems

Documentation: https://docs.rs/amzn-smt-ir/
License: Apache-2.0

Versions: 1
Dependent Packages: 0
Dependent Repositories: 0
Downloads: 1,263 Total

Rankings

Forks count: 18.8%

Stargazers count: 19.5%

Dependent repos count: 29.3%

Dependent packages count: 33.8%

Average: 38.2%

Downloads: 89.6%

Maintainers (2)

BrunoDutertre mww-aws

Last synced: 10 months ago

Dependencies

.github/workflows/rust.yml actions

actions/checkout v2 composite
dtolnay/rust-toolchain clippy composite

Cargo.toml cargo

aws-smt-ir/Cargo.toml cargo

criterion 0.5 development
paste 1.0 development
static_assertions 1.1 development
varisat 0.2 development
aws-smt-ir-derive 0.1.2
either 1.6
fst 0.4.5
internment 0.7.0
itertools 0.11
num 0.4
num-traits 0.2
once_cell 1.8
permutation_iterator 0.1.2
pomelo 0.1.5
serde 1.0.125
smallvec 1.6
stacker 0.1
strum 0.25
thiserror 1.0
varisat 0.2

aws-smt-ir-derive/Cargo.toml cargo