JOSS: https://github.com/elsoroka/Satisfiability.jl
satisfiability-modulo-theories smt-lib
Score: 9.798127036878302
Last synced: about 22 hours ago
JSON representation
Repository metadata:
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
- Host: GitHub
- URL: https://github.com/elsoroka/Satisfiability.jl
- Owner: elsoroka
- License: mit
- Created: 2023-04-16T21:58:55.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2026-06-22T03:03:46.000Z (2 months ago)
- Last Synced: 2026-07-30T14:58:44.657Z (22 days ago)
- Topics: satisfiability-modulo-theories, smt-lib
- Language: Julia
- Homepage: https://elsoroka.github.io/Satisfiability.jl/
- Size: 3.01 MB
- Stars: 55
- Watchers: 6
- Forks: 11
- Open Issues: 17
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.cff
Owner metadata:
- Name: Emiko Soroka
- Login: elsoroka
- Email:
- Kind: user
- Description:
- Website:
- Location: Palo Alto, CA. USA
- Twitter:
- Company: Stanford University
- Icon url: https://avatars.githubusercontent.com/u/14230800?u=2b5c1cb20a2b7535cccaf1023886d55b4dac343d&v=4
- Repositories: 3
- Last Synced at: 2023-03-03T15:17:02.373Z
- Profile URL: https://github.com/elsoroka
GitHub Events
Total
- Create event: 6
- Delete event: 5
- Fork event: 5
- Issue comment event: 61
- Issues event: 11
- Pull request event: 47
- Pull request review event: 11
- Push event: 24
- Release event: 1
- Watch event: 18
- Total: 189
Last Year
- Create event: 4
- Delete event: 3
- Fork event: 1
- Issue comment event: 6
- Pull request event: 16
- Pull request review event: 1
- Push event: 9
- Watch event: 5
- Total: 45
Committers metadata
Last synced: 2 days ago
Total Commits: 329
Total Committers: 10
Avg Commits per committer: 32.9
Development Distribution Score (DDS): 0.134
Commits in past year: 18
Committers in past year: 3
Avg Commits per committer in past year: 6.0
Development Distribution Score (DDS) in past year: 0.389
| Name | Commits | |
|---|---|---|
| Emiko Soroka | e****o@m****m | 285 |
| Fe-r-oz | f****l@g****m | 13 |
| dependabot[bot] | 4****] | 12 |
| Martin Kunz | m****z@e****z | 7 |
| Mykel Kochenderfer | m****l@s****u | 4 |
| ℝafael Bailo | D****o@g****m | 3 |
| jchanke | j****2@a****u | 2 |
| Thomas Schmelzer | t****r@g****m | 1 |
| Nikos Pitsianis | p****s@y****m | 1 |
| Daniel S. Katz | d****z@i****g | 1 |
Issue and Pull Request metadata
Last synced: 2 days ago
Total issues: 32
Total pull requests: 105
Average time to close issues: 21 days
Average time to close pull requests: 5 days
Total issue authors: 14
Total pull request authors: 10
Average comments per issue: 2.5
Average comments per pull request: 0.96
Merged pull request: 93
Bot issues: 0
Bot pull requests: 18
Past year issues: 1
Past year pull requests: 7
Past year average time to close issues: 6 days
Past year average time to close pull requests: about 2 months
Past year issue authors: 1
Past year pull request authors: 1
Past year average comments per issue: 3.0
Past year average comments per pull request: 0.29
Past year merged pull request: 3
Past year bot issues: 0
Past year bot pull requests: 7
Top Issue Authors
- elsoroka (11)
- mykelk (5)
- Fe-r-oz (3)
- rafaelbailo (2)
- JuliaTagBot (2)
- EveWCheng (1)
- zygi (1)
- pitsianis (1)
- remysucre (1)
- JanGontscharow (1)
- kunzaatko (1)
- jchanke (1)
- computablee (1)
- vyudu (1)
Top Pull Request Authors
- elsoroka (39)
- Fe-r-oz (20)
- dependabot[bot] (18)
- kunzaatko (9)
- mykelk (5)
- rafaelbailo (4)
- jchanke (4)
- pitsianis (2)
- tschm (2)
- danielskatz (2)
Top Issue Labels
- enhancement (7)
- bug (7)
- help wanted (1)
- documentation (1)
- question (1)
Top Pull Request Labels
- dependencies (18)
- github_actions (8)
- bug (2)
Package metadata
- Total packages: 1
-
Total downloads:
- julia: 25 last-month
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 3
juliahub.com: Satisfiability
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
- Homepage: https://elsoroka.github.io/Satisfiability.jl/
- Documentation: https://docs.juliahub.com/General/Satisfiability/stable/
- Licenses: MIT
- Latest release: 0.2.0 (published almost 2 years ago)
- Last Synced: 2026-08-07T20:06:09.653Z (13 days ago)
- Versions: 3
- Dependent Packages: 0
- Dependent Repositories: 0
- Downloads: 25 Last month
-
Rankings:
- Dependent repos count: 10.182%
- Average: 23.896%
- Dependent packages count: 37.609%
Dependencies
- actions/checkout master composite
- codecov/codecov-action v3 composite
- julia-actions/julia-buildpkg v1 composite
- julia-actions/julia-processcoverage v1 composite
- julia-actions/julia-runtest v1 composite
- julia-actions/setup-julia v1 composite
- actions/checkout v3 composite
- julia-actions/julia-buildpkg v1 composite
- julia-actions/julia-docdeploy v1 composite
- JuliaRegistries/TagBot v1 composite
- julia 1.9 build