Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ada
/
AdaSAT
Implementation of a DPLL-based SAT solver in Ada
https://github.com/AdaCore/AdaSAT
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-03-15
dev-ada/AdaSAT: keyword 24.0.0 for ~x86
ef704e9
Alfredo Tupone
committed on 2024-03-15 20:52:29 UTC
dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
dev-ada/AdaSAT: new package, add 24.0.0
f4c45c7
Alfredo Tupone
committed on 2024-03-15 11:00:55 UTC
dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
dev-ada/AdaSAT/Manifest
dev-ada/AdaSAT/metadata.xml