Home » io.github.o2alexanderfedin.javafv » java-fv-yices

Java FV Yices Solver

Yices2 SMT solver backend for Java-FV (GPLv3 licensed)
LicenseGPL 3.0
Tagsgithub
Ranking
#159955in MvnRepository
HomePage https://github.com/o2alexanderfedin/java-fv 🔍 Inspect URL
Links

Latest Versions

4 versions →
VersionVulnerabilitiesUsagesDate
14.1.x
14.1
1
Mar 20, 2026
13.1.x
13.1
1
Mar 14, 2026
1.2.x
1.2.0
1
Mar 05, 2026
1.1.x
1.1.0
1
Mar 04, 2026
4 versions →