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

Java SMT » 0.4

Unified acccess layer to SMT solvers
LicenseApache 2.0
Organization Software Systems Lab
HomePage https://github.com/sosy-lab/java-smt 🔍 Inspect URL
Links
DateFeb 19, 2016
Filespom (6 KB) jar (510 KB)View All
RepositoriesCentralNutz
Ranking
#25790in MvnRepository
Vulnerabilities
Vulnerabilities from dependencies:
CVE-2023-2976CVE-2022-46751CVE-2022-37866View 3 more ...
💡
Newer Version Available
0.4→6.0.0-499-gf35a21a8e
(39 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
George Karpenkovgeorge<at>metaworld.meproject maintainer
Dirk Beyerdirk.beyer<at>sosy-lab.orgproject managerSoftware Systems Lab