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-12-15
dev-ada/AdaSAT: Stabilize 24.0.0-r2 x86, #944314
3f055ce
Sam James
committed on 2024-12-15 04:28:18 UTC
dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
dev-ada/AdaSAT: Stabilize 24.0.0-r2 amd64, #944314
cc41483
Sam James
committed on 2024-12-15 04:28:10 UTC
dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
Commits on 2024-12-13
dev-ada/AdaSAT: use python-any-r1 for test
3799cc8
Alfredo Tupone
committed on 2024-12-13 13:15:04 UTC
dev-ada/AdaSAT/AdaSAT-24.0.0-r2.ebuild
dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
Commits on 2024-12-12
dev-ada/AdaSAT: add BDEPs
532fcf4
Alfredo Tupone
committed on 2024-12-12 19:13:21 UTC
dev-ada/AdaSAT/AdaSAT-24.0.0-r1.ebuild
dev-ada/AdaSAT/AdaSAT-24.0.0.ebuild
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