Home » org.sosy-lab » java-smt » 3.10.0

Java SMT » 3.10.0

Unified acccess layer to SMT solvers
LicenseApache 2.0
Organization Software Systems Lab
HomePage https://github.com/sosy-lab/java-smt 🔍 Inspect URL
Links
DateAug 28, 2021
Filespom (4 KB)jar (685 KB)View All
RepositoriesCentralNutz
Ranking
#24588in MvnRepository
Vulnerabilities
Vulnerabilities from dependencies:
CVE-2023-2976CVE-2020-8908
💡
Newer Version Available
3.10.0→6.0.0-499-gf35a21a8e
(23 changes)

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Licenses

LicenseURL
Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

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