| License | MIT |
|---|---|
| Organization | Software Systems Lab |
| HomePage | https://github.com/sosy-lab/java-smt |
| Date | (Jan 24, 2021) |
| Files | so View All |
| Repositories | Central |
| Ranking | #150759 in MvnRepository (See Top Artifacts) |
| Used By | 2 artifacts |
Compile Dependencies (0)
| Category/License | Group / Artifact | Version | Updates |
|---|
Licenses
| License | URL |
|---|---|
| MIT License | https://opensource.org/licenses/MIT |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Karlheinz Friedberger | kfriedberger<at>gmail.com | project maintainer | Software Systems Lab | |
| Dirk Beyer | dirk.beyer<at>sosy-lab.org | project manager | Software Systems Lab |