Home » net.sf.tweety.logics » qbf

Tweety (Quantified Boolean Formulas)

Tweety (Quantified Boolean Formulas)
LicenseGPL 3.0
Ranking
#754995in MvnRepository
HomePage http://sourceforge.net/projects/tweety/ 🔍 Inspect URL

Latest Versions

3 versions →
VersionVulnerabilitiesUsagesDate
1.17.x
1.17
1
Jul 14, 2020
1.16.x
1.16
1
Jan 23, 2020
1.15.x
1.15
1
Jan 21, 2020
3 versions →