Indexed Artifacts (28.6M)

Popular Categories

SMT solver Z3 for use in JavaSMT

LicenseMIT
Organization Software Systems Lab
HomePage https://github.com/sosy-lab/java-smt
Date(Jan 24, 2021)
Filesso   View All
RepositoriesCentral
Ranking#150759 in MvnRepository (See Top Artifacts)
Used By2 artifacts

Note: There is a new version for this artifact

New Version4.8.17


Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
MIT License https://opensource.org/licenses/MIT

Developers

NameEmailDev IdRolesOrganization
Karlheinz Friedbergerkfriedberger<at>gmail.comproject maintainerSoftware Systems Lab
Dirk Beyerdirk.beyer<at>sosy-lab.orgproject managerSoftware Systems Lab